Systems of constructive set theory, such as CST, CZF, and IZF, embed their set axioms in intuitionistic instead of classical logic.
Konstruktiivisen joukko-opin järjestelmät kuten CST, CZF ja IZF yhdistävät aksioomansa intuitionistiseen logiikkaan ensimmäisen kertaluvun logiikan sijasta.