返回首页 返回单词点读 进制在线转换工具 2048 射箭高手 插件与扩展源码 Emlog主题源码 页游源码 看电视剧 晋书
adj.无法证明的;无法证实的
Given any finite set of axioms, we have an infinite number of truths that are unprovable in that system. 给定任何有限个公设,在该系统内都会有无穷多个无法证明的事实。
小库网-温馨提示