Gödel's theorem
(also Gödel theorem) Logic and Mathematics
noun
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.
Origin
1930s; earliest use found in Max Black (1909–1988), philosopher.
- on the side of the angels
- on the skew
- on the skids
- on the slide
- on the slops
- on the sly
- on the spot
- on the spur of the moment
- on the square
- on the stocks
- on the streets
- on the strength of
- on the stroke of ——
- on the table
- on the telephone
- on the tiles
- on the tip of one's tongue
- on the town
- on the trot
- on the turn
- on the turps
- on the up and up
- on the upgrade
- on the wallaby (track)
- on the wane