List questions from peano-axioms

Published on 21 Sep 2013 - 7:55

265

Views

Goodstein's theorem

Published on 21 Sep 2013 - 11:17

957

Views

Formulation of the (axiom of) mathematical induction

Published on 22 Sep 2013 - 21:12

526

Views

A First Order Definition of the Mod Function

Published on 15 Oct 2013 - 3:26

295

Views

a consistent model of $\mathbb{N}$ that isn't?

Published on 16 Oct 2013 - 23:07

2.2k

Views

Can someone explain definition of number 1?

Published on 17 Oct 2013 - 17:35

3.3k

Views

Proving $mn = 0$ implies $m = 0$ or $n=0$ for all $m, n \in \mathbb{N}$ using Peano Axioms

Published on 20 Oct 2013 - 21:31

410

Views

Peano system vs natural numbers

Published on 23 Oct 2013 - 1:23

143

Views

Infinite set of standard primes as the set of standard prime divisors of a nonstandard number

Published on 25 Mar 2026 - 12:17

191

Views

deducibility from peano axioms

Published on 04 Nov 2013 - 18:35

159

Views

Is the set of sentences in peano arithmetic countably infinite?

Published on 06 Nov 2013 - 2:41

373

Views

Initial Segments of Modular Arithmetic

Published on 08 Nov 2013 - 5:32

214

Views

First Order Definitions of Finite

Published on 09 Nov 2013 - 4:26

861

Views

When is first order induction valid?

Published on 12 Nov 2013 - 2:36

143

Views

Peano Proof Difficulty

Published on 14 Nov 2013 - 2:47

List Question

Models of real numbers combined with Peano axioms

Goodstein's theorem

Formulation of the (axiom of) mathematical induction

A First Order Definition of the Mod Function

a consistent model of $\mathbb{N}$ that isn't?

Can someone explain definition of number 1?

Proving $mn = 0$ implies $m = 0$ or $n=0$ for all $m, n \in \mathbb{N}$ using Peano Axioms

Peano system vs natural numbers

Infinite set of standard primes as the set of standard prime divisors of a nonstandard number

deducibility from peano axioms

Is the set of sentences in peano arithmetic countably infinite?

Initial Segments of Modular Arithmetic

First Order Definitions of Finite

When is first order induction valid?

Peano Proof Difficulty

Trending Questions

Popular # Hahtags

Popular Questions