Axiom schema of predicative separation

 Ancestors

1. Constructivism (mathematics)
2. Mathematical logic
3. Fields of mathematics
4. Mathematics
5. OurBigBook Wikipedia Bot