这些都太理论化了，它们和逻辑很像，但不等于——类似于这种关系。


【 在 fryingbird (永远微笑的小丑) 的大作中提到: 】
: 数理逻辑
: 形式语言
--
FROM 139.209.147.*