为啥证不了?

公理系统1, 公理A:人要吃饭。(公理不需证明)

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

                 公理B:人是生物。

                 公理C: 吃饭可获取能量

                  结论: 人要吃饭。 (QED)

请您先登陆,再发跟帖!