Can ZF prove the cartesian product of an ordinal by itself to be subnumerous to that ordinal?
58267
Godel's pairing function and proving c = c*c for aleph cardinals
1627
Cartesian product of an arbitrary number of sets
142631
Show that A has the same cardinality as $A\setminus\{x,y,z\}$
29303
Cartesian product of compact sets is compact
38726
What set theory axioms do I need to believe in uncountable ordinals?
81509
The cardinality of a countable union of countable sets, without the axiom of choice
134588
Seeking a direct proof about nested inclusions
104550
Countable union of countable sets(ZF)
59820
ZF Extensionality axiom
13398
Prove that the interval $(0, 1)$ and the Cartesian product $(0, 1) \times (0, 1)$ have the same cardinality
56440
Cartesian products and families
4912
Show that an infinite set $C$ is equipotent to its cartesian product $C\times C$
20252
The Axiom of Choice and the Cartesian Product.
148118
Prove that field of complex numbers cannot be equipped with an order relation
58602
In ZF, how would the structure of the cardinal numbers change by adopting this definition of cardinality?
19924
Uncountable ordinals without power set axiom
9651
Cardinality of cartesian product of an infinite set with N