但是，关逻辑结构的思考，一般结构主义说，有另外一处：就是指明在哪些方面“结构”不跟它的形式化混一谈？并且指明，在什面，从一我将努力逐步加说明的意义说，结构是从。“的”现实中产生的。
1931年，哥德尔（Kurt Godel ）有一现，影响深远，值注意。是因现推翻了占统治位的、全部数归结逻辑、又从逻辑归结纯粹的形式化的那观点；因现给形式化规定了一些界限；无疑，些形式化的界限是变动的，或者说是权宜的，但是在结构建立的某候却始终是存在的。的确，他已经证明了一足够丰富前一贯的理论，例象初等算术，是不它本身的手段或某些更“弱”的手段（在特殊情况，是怀特海德（Whitehead）罗素（Russell）的《数原理》中的逻辑）证明它本身是有矛盾的：仅仅依靠它己的工具，理论就的确导致一些不决定真假的命题，因就不达完备的境。相反，人现，在点的理论内部原不实现的些论证，是了更“强”的手段，却实现。金琛（Gentzen）坎托尔的超穷算术在初等算……（内容加载失败！）
(ò﹏ò)
抱歉，章节内容不支持该浏览器显示～
【为了使用完整的阅读功能】
请考虑使用〔Chrome 谷歌浏览器〕、〔Safari 苹果浏览器〕或者〔Edge 微软浏览器〕等原生浏览器阅读！
谢谢!!!