| 释义 |
> as lemmasGödel's theorem Gödel's theorem n. (also Gödel theorem) the demonstration that in any system of axioms there must be formulas which are true but neither provable nor disprovable within the system, thus making mathematics essentially incomplete; (also) the corollary that the consistency of such a system cannot be proved within that system; also called incompleteness theorem (see incompleteness n. b).< |