## consistencyAn 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 | |||||

Home • About • Copyright © The Worlds of David Darling • Encyclopedia of Alternative Energy • Contact |