Second-order arithmetic

 Ancestors

1. Formal theories of arithmetic
2. Arithmetic
3. Fields of mathematics
4. Mathematics
5. OurBigBook Wikipedia Bot