判断题 古代几何三大难题，最终是用代数方法解决的。

判断题 庞加莱猜想是几何问题，但最终是用代数方法解决的。

判断题 四色定理已经被人类用逻辑演绎推理完全证明。