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