“Understanding Gödel’s completeness theorem” by jessicata | LessWrong (30+ Karma) | Podwise