Comment by mazesc

Ctrl+F Gödel "not found".

Also proof theory is completely absent, like Gentzen's cut elimination theorem.

These are "fundamental" theorems of mathematics in the literal sense.