# Gödel's Incompleteness Theorems

## Theorem

The logician Kurt Friedrich Gödel published two of these:

### Gödel's First Incompleteness Theorem

Let $T$ be the set of theorems of some recursive set of sentences in the language of arithmetic such that $T$ contains minimal arithmetic.

$T$ cannot be both consistent and complete.