Random triples
Subject | Object |
---|---|
gptkb:axiom_of_dependent_choice | gptkb:logic |
gptkb:Dependent_Choice | Zermelo–Fraenkel set theory without Choice (ZF) |
gptkb:axiom_of_dependent_choice | Zermelo–Fraenkel set theory without choice (ZF) |
Subject | Object |
---|---|
gptkb:axiom_of_dependent_choice | gptkb:logic |
gptkb:Dependent_Choice | Zermelo–Fraenkel set theory without Choice (ZF) |
gptkb:axiom_of_dependent_choice | Zermelo–Fraenkel set theory without choice (ZF) |