Near Matches
Ignore Exact
Everything
2
arithmetic without induction
Presburger Arithmetic
Wilhelm Ackermann
Gödel's incompleteness theorem
Peano postulates
Log in
or
register
to write something here or to contact authors.