The Axiom Schema of Predicative Separation is a principle in certain foundations of mathematics, particularly in systems that adopt a predicative approach to set theory, like the predicative versions of constructive set theories or in the area of predicative mathematics. In general, the Axiom Schema of Separation is an axiom that allows for the construction of subsets from given sets based on a property defined by a formula.
Articles by others on the same topic
There are currently no matching articles.