Embed Notice

@futurebird @dymaxion @whknott

🧵> And, finally, since Gödel we know that, no matter which axioms we choose, there will be infinitely many math statement that are true but cannot be proved starting from those axioms. Indeed, *practically all* true statements have no proofs -- because proofs are countable, but true statements are uncountable.