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

【 在 molar 的大作中提到: 】
: 嗯，而且，主要是哥德尔管不到平面几何。欧几(稍一改造)就是一个基于自身的一致系统……
:
: :
--
FROM 14.120.88.*