Gödel’s first incompleteness theorem – an interactive tutorial by from Hacker News on 2022-10-17 17:00 (#64TRB) Comments