Peano arithmetic (or Peano axioms) is a set of axioms for the natural numbers proposed by Giuseppe Peano in 1889.
Stats
created |
4 months ago |
viewed |
5 times |
editors |
0 |
Top Answerers
more »Recent Hot Answers
Arithmetic fixed point theoremIs PA consistent? do we know it?
Is PA consistent? do we know it?
How would one even begin to try to prove that a simple number-theoretic statement is undecidable?
How would one even begin to try to prove that a simple number-theoretic statement is undecidable?
more »
Related Tags
lo.logic × 71
model-theory × 17
set-theory × 15
proof-theory × 11
nt.number-theory × 11
computability-theory × 10
reverse-math × 7
ultrafinitism × 6
induction × 4
axioms × 3
ordinal-analysis × 3
foundations × 3
soft-question × 2
metamathematics × 2
decidability × 2
algorithms × 2
math-philosophy × 2
terminology × 2
big-list × 2
more related tags