intuitionistic Zermelo–Fraenkel set theory
GPTKB entity
Statements (15)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:set_theory
|
gptkbp:abbreviation |
gptkb:IZF
|
gptkbp:axiomSystem |
axioms similar to ZF but with intuitionistic logic
|
gptkbp:basedOn |
gptkb:Zermelo–Fraenkel_set_theory
|
gptkbp:compatibleWith |
gptkb:law_of_excluded_middle
|
gptkbp:field |
gptkb:logic
gptkb:set_theory |
https://www.w3.org/2000/01/rdf-schema#label |
intuitionistic Zermelo–Fraenkel set theory
|
gptkbp:relatedTo |
gptkb:Zermelo–Fraenkel_set_theory
gptkb:logic gptkb:intuitionistic_type_theory |
gptkbp:usedIn |
foundations of constructive mathematics
|
gptkbp:usesLogic |
intuitionistic logic
|
gptkbp:bfsParent |
gptkb:constructive_set_theory
|
gptkbp:bfsLayer |
6
|