Gödel's theorem.
Complete? Then inconsistent!
Must study models.

Log in or registerto write something here or to contact authors.