13 Sep
2023
13 Sep
'23
3:19 a.m.
this seems readable, long though: https://en.wikipedia.org/wiki/Proof_sketch_for_Gödel%27s_first_incompleteness_theorem