Hypothesis:
HR 163:
Every non-well-orderable set has an infinite, Dedekind finite subset.
Conclusion:
HR 200:
For all infinite \(x\), \(|2^{x}| = |x!|\).
List of models where hypothesis is true and the conclusion is false:
Code:
3
Comments:
Edit |
Back