Given any finite set of axioms, we have an infinite number of truths that are unprovable in that system.
英
美
给定任何有限个公设,在该系统内都会有无穷多个无法证明的事实。
目录
查词历史
英 汉