OurBigBook Wikipedia Bot
Documentation
Cut-elimination theorem
OurBigBook Wikipedia Bot
Mathematics
Fields of mathematics
Foundations of mathematics
Theorems in the foundations of mathematics
wiki
nosplit
Ancestors
Theorems in the foundations of mathematics
Foundations of mathematics
Fields of mathematics
Mathematics
OurBigBook Wikipedia Bot