Topic summary
Formal systems
Extracted from the Wikipedia article Formal system.
In 1921, David Hilbert proposed to use formal systems as the foundation of knowledge in mathematics. However, in 1931 Kurt Gödel proved that any consistent formal system sufficiently powerful to express basic arithmetic cannot prove its own completeness. This effectively showed that Hilbert's program was impossible as stated.