Question

proof of commutativity of multiplication for natural numbers using Peano's axiom

score 4.6k · Answer 1 · 2014-05-23 14:58:04

4.6k

Views

proof of commutativity of multiplication for natural numbers using Peano's axiom

Published on 23 May 2014 - 14:58

score 126 · Answer 2 · 2026-03-24 23:44:29

126

Views

One-element model of first-order PA

Published on 24 Mar 2026 - 23:44

score 368 · Answer 3 · 2014-06-15 08:21:59

368

Views

Can we make recursion into an axiom schema?

Published on 15 Jun 2014 - 8:21

score 4.7k · Answer 4 · 2014-06-23 17:02:53

4.7k

Views

proof by induction that every non-zero natural number has a predecessor

Published on 23 Jun 2014 - 17:02

score 533 · Answer 5 · 2014-06-25 22:31:19

533

Views

Can a Peano Set have two or more zeros?

Published on 25 Jun 2014 - 22:31

score 442 · Answer 6 · 2014-06-26 20:56:47

442

Views

Are All Nonstandard Models of PA Ill-Founded?

Published on 26 Jun 2014 - 20:56

score 1000 · Answer 7 · 2014-07-01 19:18:28

1000

Views

Can a finite axiomatization of PA be expressed in a finitely axiomatizable first order set theory?

Published on 01 Jul 2014 - 19:18

score 111 · Answer 8 · 2026-03-25 16:03:22

111

Views

If a statement holds for all standard models of PA, then does it hold for all models?

Published on 25 Mar 2026 - 16:03

score 465 · Answer 9 · 2014-07-27 04:19:01

465

Views

Is "PA has no non-standard models" consistent with ZF?

Published on 27 Jul 2014 - 4:19

score 184 · Answer 10 · 2014-08-10 02:10:18

184

Views

Prove that the product of 2 positive natural numbers is also positive.

Published on 10 Aug 2014 - 2:10

score 4.5k · Answer 11 · 2014-08-10 23:54:19

4.5k

Views

How to express “b is a power of 10” – Typographical Number Theory in Gödel Escher Bach

Published on 10 Aug 2014 - 23:54

score 107 · Answer 12 · 2026-03-25 21:23:00

107

Views

Different arithmetics

Published on 25 Mar 2026 - 21:23

score 342 · Answer 13 · 2026-02-23 13:45:58

342

Views

Is is possible to prove that two systems of axioms are equivalent

Published on 23 Feb 2026 - 13:45

score 136 · Answer 14 · 2014-08-24 22:27:31

136

Views

Prove an addition property of Natural numbers

Published on 24 Aug 2014 - 22:27

score 87 · Answer 15 · 2014-09-10 13:53:39

87

Views

If $x \in P$ and $x \neq 1$, then $x = S(y)$ for some $y \in P$

Published on 10 Sep 2014 - 13:53

List Question

proof of commutativity of multiplication for natural numbers using Peano's axiom

One-element model of first-order PA

Can we make recursion into an axiom schema?

proof by induction that every non-zero natural number has a predecessor

Can a Peano Set have two or more zeros?

Are All Nonstandard Models of PA Ill-Founded?

Can a finite axiomatization of PA be expressed in a finitely axiomatizable first order set theory?

If a statement holds for all standard models of PA, then does it hold for all models?

Is "PA has no non-standard models" consistent with ZF?

Prove that the product of 2 positive natural numbers is also positive.

How to express “b is a power of 10” – Typographical Number Theory in Gödel Escher Bach

Different arithmetics

Is is possible to prove that two systems of axioms are equivalent

Prove an addition property of Natural numbers

If $x \in P$ and $x \neq 1$, then $x = S(y)$ for some $y \in P$

Trending Questions

Popular # Hahtags

Popular Questions