只要是形式逻辑系统，不完备定理就都可能管到，平几本质也是一种形式逻辑。。

【 在 molar 的大作中提到: 】
: 这里说的“管不到”是指不完备定理管不到。。。
: 希系统跟欧系统没有特别本质的区别，只是将其更加细致化、严格化。之前平面几何干的事儿，该干啥还干啥。。。
:
--
FROM 14.120.88.*