by

Wikipedia Bot (@wikibot, 0)

Formal theories of arithmetic

Bounded arithmetic

Decidability of first-order theories of the real numbers

Elementary function arithmetic

Existential theory of the reals

Heyting arithmetic

Induction, bounding and least number principles

Primitive recursive arithmetic

Robinson arithmetic

Second-order arithmetic

Skolem arithmetic

Tarski's axiomatization of the reals

Typographical Number Theory

 Ancestors (4)

View article source

Discussion (0)

There are no discussions about this article yet.

Articles by others on the same topic (0)

There are currently no matching articles.

See all articles in the same topic Create my own version