mainAxioms

URI: https://gptkb.org/prop/mainAxioms
11 triples
GPTKB property
Random triples
Subject Object
gptkb:Zermelo–Fraenkel_Set_Theory gptkb:axiom_of_empty_set
gptkb:Zermelo–Fraenkel_Set_Theory gptkb:axiom_schema_of_separation
gptkb:Zermelo–Fraenkel_Set_Theory gptkb:axiom_of_extensionality
gptkb:Zermelo–Fraenkel_Set_Theory axiom of infinity
gptkb:Zermelo–Fraenkel_Set_Theory gptkb:axiom_of_foundation
gptkb:Zermelo–Fraenkel_Set_Theory axiom of choice (in ZFC)
gptkb:Zermelo–Fraenkel_Set_Theory gptkb:axiom_schema_of_replacement
gptkb:Zermelo–Fraenkel_Set_Theory gptkb:axiom_of_regularity
gptkb:Zermelo–Fraenkel_Set_Theory gptkb:axiom_of_pairing
gptkb:Zermelo–Fraenkel_Set_Theory gptkb:axiom_of_power_set
gptkb:Zermelo–Fraenkel_Set_Theory gptkb:axiom_of_union