Gödel's second theorem

0.01 sec.

Gödel's second theorem [¦gərd·əlz ‚sek·ənd ′thir·əm]

(mathematics)

The theorem that any formal arithmetical system is incomplete in the sense that, if it is consistent, it cannot prove its own consistency.

Want to thank TFD for its existence? Tell a friend about us, add a link to this page, add the site to iGoogle, or visit the webmaster's page for free fun content.

?Page tools

Printer friendly
Cite / link

Feedback

Mentioned in	?		Encyclopedia browser	?		Full browser	?
No references found			God Box God Save the Queen God's Acre Godard Godard, Eugene Godard, Eugène Godard, Jean-Luc Godavari Godavari River godchild Goddard Goddard family Goddard Memorial State Park Goddard, George William Goddard, John Goddard, Robert Goddard, Robert Hutchings Goddard, Sarah goddaughter Godden, Rumer Godefroy Godefroy Eleonore Louis Cavaignac Godefroy Éléonore Louis Cavaignac Gödel numbering Gödel's proof Gödel's second theorem Gödel's theorem Gödel's universe Godel, Kurt Gödel, Kurt Godenko, Mikhail Godenko, Mikhail Semenovich Goderich Goderich, Frederick John Robinson, Viscount Godesberg godet Godetia Godey's Lady's Book Godey, Louis Antoine godfather Godfather "father Godfrey Godfrey Harold Hardy Godfrey of Bouillon Godfrey of Saint-Victor Godfrey of Strasbourg Godfrey of Viterbo Godfrey, Arthur Godfrey, Thomas Godhavn Godhead			Goddess Parvathi Goddess Parvathi Goddess Parvathy Goddess Parvathy Goddess Parvati Goddess Parvati Goddess Persephone Goddess Persephone Goddess Proserpina Goddess Proserpina Goddesses Gode Godeffroy Godefroy Godefroy de Bouillon Godefroy de Bouillon Godefroy Eleonore Louis Cavaignac Godefroy Éléonore Louis Cavaignac Godefroy Family Godel Godel Gödel Gödel Godel Kurt Gödel number Gödel numbering Gödel's incompleteness theorems Gödel's incompleteness theorems Gödel's proof Gödel's proof Gödel's second theorem Gödel's theorem Gödel's universe Godel, Escher, Bach: An Eternal Golden Braid Gödel, K Gödel, K. Godel, Kurt Gödel, Kurt Gödel, Kurt Godelich Godemiche Godemiche Godemiche Godenko, Mikhail Godenko, Mikhail Semenovich Goderich Goderich Goderich Bridge Club Goderich to Auburn Rail Trail Goderich, Frederick John Robinson, Viscount Goderich, Ontario Goderich, Ontario Goderich-Exeter Railway Company Godesberg Godesberg Godescalc Godescalc Godess Godess Lakshmi Godess Lakshmi Godess Persephone

Encyclopedia

Free Tools:	For surfers: Free toolbar & extensions \| Word of the Day \| Help For webmasters: Free content \| Linking \| Lookup box \| Double-click lookup

Disclaimer
All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional.