Axiom schema of specification (redirect from Aussonderungsaxiom)
schema of specification, also known as the axiom schema of separation (Aussonderungsaxiom), subset axiom, axiom of class construction, or axiom schema of restricted...
15 KB (2,194 words) - 00:01, 22 August 2024