This non-implication,
Form 0 \( \not \Rightarrow \)
Form 51,
whose code is 4, is constructed around a proven non-implication as follows:
Hypothesis | Statement |
---|---|
Form 0 | \(0 = 0\). |
Conclusion | Statement |
---|---|
Form 208 | <p> For all ordinals \(\alpha\), \(\aleph_{\alpha+1}\le 2^{\aleph_\alpha}\). </p> |
The conclusion Form 0 \( \not \Rightarrow \) Form 51 then follows.
Finally, the
List of models where hypothesis is true and the conclusion is false:
Name | Statement |
---|