Source: wikibot/scott-potter-set-theory

= Scott–Potter set theory
{wiki=Scott–Potter_set_theory}

Scott–Potter set theory is a foundational framework in mathematics that extends traditional set theory, particularly Zermelo-Fraenkel set theory, by incorporating notions related to constructive mathematics and category theory. It was developed by mathematicians Dana Scott and Michael Potter to provide a more flexible way of dealing with sets, particularly in the context of type theory and domain theory.