Comments by "Mark Armage" (@markarmage3776) on "Mathematician explains Gödel's Incompleteness Theorem | Edward Frenkel and Lex Fridman" video.