News for hackers. Stuff that matters.

A comment on List of Statements Independent of ZFC. Parent comment

Re:List of Statements Independent of ZFC by ur-whale on Wednesday December 18, 2019 @05:37PM (#21830207)
>I'm pretty sure I can prove that

For infinite sets of arbitrarily large cardinality?

[ Parent | on HN ]
Re:List of Statements Independent of ZFC by The_rationalist on Wednesday December 18, 2019 @06:13PM (#21830467)
No I can't. But see my answer to correct_horse
[ Parent | on HN ]