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