...
TFW you realize there's only a countable amount of proofs
Brayden Richardson
Xavier Torres
>not knowing about the proof continuum
I bet your proofs don't even contain uncountably many steps
Mason Johnson
Doesnt it fuck with your brain that even some of the simplest kinds of math objects we know like real numbers are bigger in cardinality than the number of proofs. Imagine how little we can know about math
Connor Ross
Just work in a countable model of set theory, so there will be just as many proofs as there are real numbers.
Sebastian Butler
if you picked arbitrarily from the set of possible theorems, only a very tiny fraction of them would be provable. the vast majority of mathematical facts are unknowable.
Chase Rogers
please define the measure you're using before making such statements
thanks
Bentley Gutierrez
A countable set must be a small fraction of an uncountable set by any reasonable definition of size.
Austin Perry
TFW you realize there's at least an uncountable amount of axioms
Gabriel Morales
Prove it or it didnt happen.
Connor Morales
Take any theorem+proof concerning the reals, then change it to say a specific real number instead of any real.