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

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