Gödel的不完备性定理
保存这个单词!
名词
逻辑,数学.
该定理指出,在包含自然数性质的形式逻辑系统中,至少存在一个公式,在该系统中既不能证明也不能证明。
一个系统的一致性不能在系统内部得到证明的推论。
的起源Gödel的不完备性定理
在K。哥德尔是他提出的
话说附近Gödel的不完备性定理
ldsprots欧洲杯乐动体育ldsports9.0Dictionary.com删节版基于兰登书屋删节版词典,©兰登书屋公司,2022