Hypothesis: HR 163:
Every non-well-orderable set has an infinite, Dedekind finite subset.
Conclusion: HR 57:
If \(x\) and \(y\) are Dedekind finite sets then either \(|x|\le |y|\) or \(|y|\le |x|\).
Mathias [1979], p 125.
List of models where hypothesis is true and the conclusion is false:
| Name | Statement |
|---|
Code: 3
Comments: