IZF Set Theory

Home > Philosophy > Logic > Set Theory > IZF Set Theory

IZF Set Theory, based on intuitionistic logic and the Zermelo-Fraenkel axioms, aims to provide a foundational system for mathematics while rejecting the law of excluded middle, focusing on constructivity and intuition.