恩格斯说：数学是研究现实世界中的数量关系与（）的一门科学。

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

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

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

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

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

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