>the interesting bit is that this isn't wrong; PM follows directly from Gödelian incompleteness his theorem states that a given logical system can't be both complete & consistent; meaning that it can either be capable of expressing every true statement, OR free of contradictions https://twitter.com/pee_zombie/status/1389730159503228930