Peano arithmetic (or Peano axioms) is a set of axioms for the natural numbers proposed by Giuseppe Peano in 1889.
Stats
created |
2 years ago by Erin Carmody |
viewed |
7 times |
editors |
0 |
Top Answerers
more »Recent Hot Answers
Is PA consistent? do we know it?Arithmetic fixed point theorem
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 × 79
model-theory × 20
set-theory × 17
nt.number-theory × 13
proof-theory × 13
computability-theory × 10
reverse-math × 7
ultrafinitism × 6
foundations × 4
induction × 4
math-philosophy × 4
prime-numbers × 3
axioms × 3
ordinal-analysis × 3
metamathematics × 2
terminology × 2
soft-question × 2
big-list × 2
algorithms × 2
more related tags