这里说的“管不到”是指不完备定理管不到。。。
希系统跟欧系统没有特别本质的区别，只是将其更加细致化、严格化。之前平面几何干的事儿，该干啥还干啥。。。


【 在 MVPRose 的大作中提到: 】
: 当然可以管到，吴方法的几何机械化证明一直在做这个事，再不济你也知道解析几何吧，平面几何本质就是代数方程组。。
: 只不过你说的这个“稍一改造”那已经不是传统意义上的欧氏几何了。。
--
FROM 111.201.79.*