Back
Add Comment
Topics
Vote
Results
axiom schema of predicative separation
in set theory, the axiom schema that a subset of a set exists if it can be defined without reference to the entire universe of sets
--Agreed Upon Solutions

The discussion does not exist would you like to add the first comment?

anonymous