Implications

Hypothesis: HR 163:

Every non-well-orderable set has an infinite, Dedekind finite subset.

Conclusion: HR 290:

For all infinite \(x\), \(|2^x|=|x^x|\).

List of models where hypothesis is true and the conclusion is false:

Name Statement

Code: 3

Comments:


Edit | Back