填空题哥德尔不完全性定理一举粉碎了数学家两千年来的信念。他告诉我们:真与可证是两个概念()某种意义上,悖论的阴影将永远伴随着我们。

你可能感兴趣的试题

5.单项选择题公理化方法的发展大致经历了这样三个阶段(),用它们建构起来的理论体系典范分别对应的是《几何原本》、《几何基础》和ZFC公理系统。

A.实质公理化阶段、纯形式公理化阶段和形式公理化阶段
B.形式公理化阶段、实质公理化阶段和纯形式公理化阶段
C.实质公理化阶段、形式公理化阶段和纯形式公理化阶段
D.纯形式公理化阶段、形式公理化阶段和实质公理化阶段