判断题 如果某一问题存在算法，并且进一步构造出这个算法，就一定能够求出该问题的解。

判断题 微积分的建立标志着变量数学的诞生。

判断题 《几何原本》是人类历史上最早的演绎的公理化体系。