Jump to content

Category:Formal theories of arithmetic

From Wikipedia, the free encyclopedia

This is the current revision of this page, as edited by David Eppstein (talk | contribs) at 17:20, 30 September 2015 (natural numbers → arithmetic). The present address (URL) is a permanent link to this version.

(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

These systems provide a logical framework and a set of axioms for the formal study of arithmetic in the context of mathematical logic.

Pages in category "Formal theories of arithmetic"

The following 17 pages are in this category, out of 17 total. This list may not reflect recent changes.

B

D

Decidability of first-order theories of the real numbers

E

H

Heyting arithmetic

I

Induction, bounding and least number principles

N

Non-standard model of arithmetic

P

R

Robinson arithmetic

S

T

Retrieved from "https://en.wikipedia.org/w/index.php?title=Category:Formal_theories_of_arithmetic&oldid=683495183"