无名践人

人类文明得以缔造的整个通道，不是因为我们有知识，而是因为我们无知。——《人类简史》 数论的所有一致的公理化形式系统都包含不可判定的命题。 这是哥德尔第二不完全性定理。推论过程...