statusInZF

URI: https://gptkb.org/prop/statusInZF
3 triples
GPTKB property
Random triples
Subject Object
gptkb:Axiom_of_Choice_(AC) independent
gptkb:Axiom_of_Choice Independent
gptkb:Zermelo’s_Axiom_of_Choice independent