statusInZF

3 triples
GPTKB property

Random triples
Subject Object
gptkb:Zermelo’s_Axiom_of_Choice independent
gptkb:Axiom_of_Choice Independent
gptkb:Axiom_of_Choice_(AC) independent