 |
|
| A B C D E F G H I J K L M N O P Q R S T U V W X Y Z |
| • HOME • ABOUT • CATEGORIES • USE OF TEXT AND IMAGES • NEWSLETTER   
|
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
• LOGICAlso on this site:
Encyclopedia of Alternative Energy & Sustainable Living
Encyclopedia of History