How to prove the following conclusion:
[For any infinite set $S$,there exists a bijection $f:S\to S \times S$] implies the Axiom of choice.
Can you give a proof without the theory of ordinal numbers.
How to prove the following conclusion:
[For any infinite set $S$,there exists a bijection $f:S\to S \times S$] implies the Axiom of choice.
Can you give a proof without the theory of ordinal numbers.