I feel like it was a lot of work getting to the incompleteness theorem tho

Like Cantor's diagonal argument is just some number trickery and the halting problem's not all that convoluted once you have the idea of a Turing machine down

Incompleteness took me an entire textbook after all

pounce@pounce@types.pl@ionchy i replicated one of escardo's proofs and it wasn't that bad