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:
Code: 3
Comments: