Random triples
Subject | Object |
---|---|
gptkb:Quine's_set_theory | open (for NF) |
gptkb:New_Foundations_set_theory | open (for NF) |
gptkb:New_Foundations_set_theory | consistent (for NFU) |
gptkb:New_Foundations | open problem |
gptkb:New_Foundations_(NF)_set_theory | open |
gptkb:Quine's_set_theory | consistent (for NFU) |
gptkb:Reinhardt_cardinal | inconsistent with the axiom of choice |