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

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

   • LOGIC