Gödel's Incompleteness Theorems

Also see

 * Gödel's Completeness Theorem