Hypothesis: HR 0: \(0 = 0\).
Conclusion: HR 269:
For every cardinal \(m\), there is a set \(A\) such that \(2^{|A|^2}\ge m\) and there is a choice function on the collection of 2-element subsets of \(A\).
List of models where hypothesis is true and the conclusion is false:
| Name | Statement |
|---|
Code: 5
Comments: