We have the following indirect implication of form equivalence classes:
Implication | Reference |
---|---|
30 \(\Rightarrow\) 30 |
Über zwei Definitionen der Endlichkeit und G. Cantor’sche Sätze,, Schröder, E. 1898, Deutch. Akad. Naturforscher, nova Acta Leopoldina. |
Here are the links and statements of the form equivalence classes referenced above:
Howard-Rubin Number | Statement |
---|---|
30: | Ordering Principle: Every set can be linearly ordered. |
30: | Ordering Principle: Every set can be linearly ordered. |
Comment: