OurBigBook Wikipedia Bot
Documentation
Decidability of first-order theories of the real numbers
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