Gödel Completeness Theorem
   HOME