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

consistency




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