正是因为有着超前的数学知识，所以王崎比任何人都清楚这篇算学论文的意义。地址失效发送任意邮件到 Ltxs Ba@gmail.com 获取最新地址

在数学的讨论中，常把能具体地给出某一对象或者能给出某一对象的计算方法者称之为可构造的。构造性数学是现代数学研究的一个重要领域，它的根本特征就是对可构造性的强调。所谓可构造性是指能具体地给出某一对象或者能给出某一对象的计算方法。

构造性数学与古典的数学区别在于构造性的数学认为“存在就是被构造”。为了做到构造性，数学家必须重新解释存在量词及其其他逻辑联结词和量词，以便用构造的观点解释包含这些逻辑表达式的命题的证明的含