Hypothesis: HR 0:  \(0 = 0\).

Conclusion: HR 208:

For all ordinals \(\alpha\), \(\aleph_{\alpha+1}\le 2^{\aleph_\alpha}\).

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

Name Statement

Code: 3

Comments:


Edit | Back