我觉得平面几何还不能证明它真的具有高等级的泛化的能力，因为平面几何本来就是有套路的且套路不深，甚至平面几何早就已经有机械化证明的系统方法。
--
FROM 111.18.5.*