Kurt Gödel conclusively showed in 1931 that no proof of consistency and completeness could ever be made within the system to which it referred, as Hilbert’s was meant to—for any system which was strong enough to deal with the mathematics of the natural numbers.
