[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.

[ogogmad]

Goedel is there. See pages 8 to 9.

[mazesc]

Oops, thanks! Didn't try "oe".