constructive set theory

E1187531 UNEXPLORED

Constructive set theory is a branch of mathematical logic that develops set theory using intuitionistic (constructive) logic and often weaker axioms, avoiding classical principles like unrestricted law of excluded middle.

Try in SPARQL Jump to: Surface forms Referenced by

All labels observed (2)

Label	Occurrences
constructive Zermelo–Fraenkel set theory	1
constructive set theory canonical	1

Referenced by (2)

Full triples — surface form annotated when it differs from this entity's canonical label.

Kripke–Platek set theory → usedIn → constructive set theory ⓘ

Kripke–Platek set theory → oftenComparedWith → constructive set theory ⓘ

this entity surface form: constructive Zermelo–Fraenkel set theory