Extension by new constant and function names

 Ancestors

1. Theorems in the foundations of mathematics
2. Foundations of mathematics
3. Fields of mathematics
4. Mathematics
5. OurBigBook Wikipedia Bot