为啥证不了?

来源: 2024-10-29 11:40:05 [旧帖] [给我悄悄话] 本文已被阅读:

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

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

                 公理B:人是生物。

                 公理C: 吃饭可获取能量

                  结论: 人要吃饭。 (QED)