No hot answers found
Only top scored, non community-wiki answers of a minimum length are eligible
Related Tags
peano-axioms × 904logic × 408
first-order-logic × 134
model-theory × 120
induction × 102
natural-numbers × 96
axioms × 76
incompleteness × 76
set-theory × 74
solution-verification × 65
arithmetic × 61
foundations × 51
elementary-number-theory × 49
real-analysis × 47
nonstandard-models × 46
elementary-set-theory × 40
proof-writing × 35
proof-theory × 34
computability × 27
number-theory × 23
definition × 21
analysis × 20
predicate-logic × 19
second-order-logic × 19
reverse-math × 19