為啥證不了?

公理係統1, 公理A:人要吃飯。(公理不需證明)

公理係統2,公理A:生物需要能量才能存活。

                 公理B:人是生物。

                 公理C: 吃飯可獲取能量

                  結論: 人要吃飯。 (QED)

請您先登陸,再發跟帖!