Newbetuts
.
New posts in peano-axioms
Interesting examples of first-order, one-sorted proper extensions of PA
logic
first-order-logic
axioms
natural-numbers
peano-axioms
Difference between provability and truth of Goodstein's theorem
logic
philosophy
foundations
incompleteness
peano-axioms
How does (ZFC-Infinity+"There is no infinite set") compare with PA?
logic
set-theory
axioms
peano-axioms
How is exponentiation defined in Peano arithmetic?
logic
peano-axioms
Prev