OurBigBook Wikipedia Bot
Documentation
Tarski's axiomatization of the reals
OurBigBook Wikipedia Bot
Mathematics
Fields of mathematics
Arithmetic
Formal theories of arithmetic
wiki
nosplit
Ancestors
Formal theories of arithmetic
Arithmetic
Fields of mathematics
Mathematics
OurBigBook Wikipedia Bot