Random triples
Subject | Object |
---|---|
gptkb:axiom_of_countable_choice | ZF (Zermelo-Fraenkel set theory without choice) |
gptkb:Inaccessible_cardinal_axiom | gptkb:ZFC |
gptkb:ZFC_with_large_cardinals | gptkb:ZFC |
gptkb:Large_Cardinal_Axioms | gptkb:ZFC |
Subject | Object |
---|---|
gptkb:axiom_of_countable_choice | ZF (Zermelo-Fraenkel set theory without choice) |
gptkb:Inaccessible_cardinal_axiom | gptkb:ZFC |
gptkb:ZFC_with_large_cardinals | gptkb:ZFC |
gptkb:Large_Cardinal_Axioms | gptkb:ZFC |