GEWU
EN

搜索科普文

输入关键词搜索已发表科普文。

    Scientists / Open questions

    库尔特·哥德尔

    Kurt Gödel

    数理逻辑、集合论

    1 个问题

    1. The consistency of classical analysis and set theory by constructive means: the surviving open core of the unresolved points in Gödel's 1931 incompleteness paper

    返回开放问题