🧵 Untitled Thread
Anonymous at Thu, 14 Nov 2024 06:17:27 UTC No. 16474407
>Zorn's Lemma makes sense
>Well-Ordering theorem makes no sense
>Axiom of Choice is impossible to decide
But they're all equivalent. How is that possible?
Anonymous at Thu, 14 Nov 2024 11:00:53 UTC No. 16474589
>>16474407
All of them are impossible to decide, and intuition is subjective.
Anonymous at Thu, 14 Nov 2024 11:07:17 UTC No. 16474594
Niggers in your anus
Anonymous at Thu, 14 Nov 2024 18:39:06 UTC No. 16475045
>>16474407
Well-ordering theorem refutes the AOC.
How the FUCK can [math]\mathbb{R} [/math] be well-ordered?
Anonymous at Thu, 14 Nov 2024 19:31:45 UTC No. 16475106
>>16475045
This. Well-ordering theorem is the strongest argument against ZFC I know.
Anonymous at Thu, 14 Nov 2024 19:42:01 UTC No. 16475118
>>16475045
By assigning an ordinal number to each real number. There are more ordinals than real numbers so that is not a problem.
Anonymous at Thu, 14 Nov 2024 19:50:40 UTC No. 16475135
>>16474407
these things are equivalent and all of them hold in the Godel's constructible universe (which in turns do exist in every model of vanilla ZF).
Anonymous at Thu, 14 Nov 2024 22:07:32 UTC No. 16475267
>>16475045
>>16475106
The Axiom of Choice is literally the tool you use to well-order the Reals.