他是在说“勾股定理跟第五公设等价”这件事儿。


至于说用哪个做公理这件事儿，这个不一定非要用“最简洁”的。只要都是等价命题，这在数理逻辑上是一样的，用哪个都可以。



【 在 thecommon 的大作中提到: 】
: 我还是没明白他说的勾股定理是公理的说法。sin90度怎么就是公理了？那sin80度呢，sin70度呢？
: 公理体系的公理，总要选取几个最简洁最具有普遍性的论断作为公理，怎么能拿一个特例当公理。
--
FROM 111.201.70.*