MATHEMATICS 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 SITE MAP COPYRIGHT ADVERTISE CONTACT entire Web this site complete Describes a formal system in which all statements can be proved as being true or false. Most interesting formal systems are not complete, as demonstrated by Gödel's incompleteness theorem. Related category    • MATHEMATICS Also on this site: Encyclopedia of Alternative Energy & Sustainable Living Encyclopedia of History Transport Concepts & Designs (partner site) BACK TO TOP