Newbetuts
.
New posts in peano-axioms
How to prove non-equality using Peano axioms?
logic
first-order-logic
predicate-logic
peano-axioms
Tennenbaum's theorem without overspill
model-theory
computability
peano-axioms
nonstandard-models
Are the real numbers ever needed to prove a property of the natural numbers?
number-theory
logic
arithmetic
peano-axioms
foundations
Growth-rate vs totality
logic
peano-axioms
provability
Is every model of modular arithmetic either even or odd?
logic
modular-arithmetic
peano-axioms
Leaving out one of the Peano Axioms
examples-counterexamples
peano-axioms
Prove that no positive integer is both even and odd, and that all positive integers are either even or odd
elementary-number-theory
peano-axioms
A model-theoretic question re: Nelson and exponentiation
logic
foundations
peano-axioms
finitism
Why is the Axiom of Infinity necessary?
set-theory
infinity
axioms
peano-axioms
Is there a 'nice' axiomatization in the language of arithmetic of the statements ZF proves about the natural numbers?
logic
peano-axioms
Purpose of the Peano Axioms
logic
math-history
foundations
peano-axioms
Deducing PA's axioms in ZFC
number-theory
logic
set-theory
peano-axioms
Why is Peano arithmetic undecidable?
number-theory
logic
peano-axioms
Do we have to prove how parentheses work in the Peano axioms?
logic
definition
first-order-logic
axioms
peano-axioms
Statement provable for all parameters, but unprovable when quantified
logic
incompleteness
peano-axioms
provability
What is an example of a non standard model of Peano Arithmetic?
logic
model-theory
peano-axioms
nonstandard-models
Is there a natural model of Peano Arithmetic where Goodstein's theorem fails?
number-theory
logic
model-theory
peano-axioms
How does Peano Postulates construct Natural numbers only?
natural-numbers
peano-axioms
Why does induction have to be an axiom?
induction
axioms
peano-axioms
A question on Terence Tao's representation of Peano Axioms
real-analysis
peano-axioms
Prev
Next