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

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

多项选择题 下列问题中，已经得到解决的有（）。