# Gödel's Incompleteness Theorem

### Valeria Zahoransky (Freie Universität Berlin)

Gödel's Incompleteness Theorem states that logical systems
capable of a certain expressivity cannot be consistent and
complete. This fact had far-reaching implications for mathematics and
metamathematics. We shall have a look at the structure of the proof
with an emphasis on the most important ideas like Gödel's
numberings and diagonalisation.

Last modified: Sat Feb 23 14:05:36 CET 2019