古典逻辑的结论总是不可能比前提更强的，所以严格的逻辑推理，从某种意义上说只是同义反复说废话。

公理化则不同，虽然逻辑是公理化的基础，但公理化的推理方法不仅限于逻辑。

【 在 aserose 的大作中提到: 】
: 图教授，咱先别扣帽子。
: 说会你之前的公理。我认为公理就属于独断论，类似于第一因。
: 然后这个公理成为亚里士多德三段论的前设，再输入第二个条件，就有了第三段的新结论。
: ...................
--
FROM 60.25.149.*