Also proof theory is completely absent, like Gentzen's cut elimination theorem.
These are "fundamental" theorems of mathematics in the literal sense.