consistencyStatus

7 triples
GPTKB property

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