Worlds of David Darling
Encyclopedia of Science
Home > Encyclopedia of Science


An axiomatic theory is said to be consistent if it's impossible (within the confines of the theory) to prove simultaneously a statement and its negation. Godel's incompleteness theorem states that any (sufficiently powerful) consistent axiomatic theory is incomplete.

Related category

   • LOGIC