This is a $ZFC$-theorem. Actually for any $\Sigma^1_1$-locally countable partial ordering, there is a non-null antichain.
喻 良
- 4.2k
- 1
- 21
- 30