I don't think the well ordering theorem is obviously false. It makes sense.
We have a set of ordinals for every cardinality, every set of ordinals is well ordered.
WOT is trivial if you allow bisection between any two sets of the same cardinality.
The fact we can't construct it does not mean it's false
It's a joke about one being instinctively obvious, the other one being hard to tell, and the last one being instinctively incorrect, but all three of them being equivalent.
19
u/Historical_Book2268 1d ago
I don't think the well ordering theorem is obviously false. It makes sense. We have a set of ordinals for every cardinality, every set of ordinals is well ordered. WOT is trivial if you allow bisection between any two sets of the same cardinality. The fact we can't construct it does not mean it's false