Franklin's Notes


Weaker theories of arithmetic

In first-order logic , the theory of Peano Arithmetic is the canonical axiomatization of arithmetic and number theory. However, there are a couple other noteworthy formal systems that are weaker than Peano Arithmetic.

model-theory

first-order-logic

number-theory

axioms

back to home page