Question

Difference between provability and truth of Goodstein's theorem

score 2.5k · Answer 1 · 2026-03-21 11:30:56

2.5k

Views

Difference between provability and truth of Goodstein's theorem

Published on 21 Mar 2026 - 11:30

score 1.3k · Answer 2 · 2026-03-22 20:53:40

1.3k

Views

How Can the Peano Postulates Be Categorical If They Have NonStandard Models?

Published on 22 Mar 2026 - 20:53

score 522 · Answer 3 · 2026-03-22 17:55:48

522

Views

Show that PA can prove the pigeon-hole principle

Published on 22 Mar 2026 - 17:55

score 649 · Answer 4 · 2026-03-22 20:42:37

649

Views

Peano Axioms and loops

Published on 22 Mar 2026 - 20:42

score 109 · Answer 5 · 2026-03-23 06:22:28

109

Views

Is it true that $0\in 1$?

Published on 23 Mar 2026 - 6:22

score 139 · Answer 6 · 2026-03-24 15:02:28

139

Views

Is there a weak set theory that can prove that the natural numbers is a model of PA?

Published on 24 Mar 2026 - 15:02

score 582 · Answer 7 · 2026-03-22 23:49:52

582

Views

Exercises and solutions for natural deduction proofs in Robinson and Peano arithmetic

Published on 22 Mar 2026 - 23:49

score 2.2k · Answer 8 · 2026-03-22 20:04:48

2.2k

Views

Proof of Strong Induction Using Well-Ordering Principle

Published on 22 Mar 2026 - 20:04

score 1.7k · Answer 9 · 2026-03-22 07:26:10

1.7k

Views

Some questions about the successor function

Published on 22 Mar 2026 - 7:26

score 3k · Answer 10 · 2026-03-22 06:37:55

3k

Views

Prove addition is commutative using axioms, definitions, and induction

Published on 22 Mar 2026 - 6:37

score 79 · Answer 11 · 2026-03-23 01:38:21

79

Views

How do I know what I need to show when using induction? (Peano axioms)

Published on 23 Mar 2026 - 1:38

score 2.7k · Answer 12 · 2026-03-25 03:02:50

2.7k

Views

Do we have to prove how parentheses work in the Peano axioms?

Published on 25 Mar 2026 - 3:02

score 58 · Answer 13 · 2026-03-25 03:03:08

58

Views

Is $K_{n-1}$ a $\Sigma_{n-1}$-elementary substruture of $K_n$

Published on 25 Mar 2026 - 3:03

score 165 · Answer 14 · 2026-03-17 06:06:49

165

Views

Variations in the Statement of Strong Induction: Equivalent or Different?

Published on 17 Mar 2026 - 6:06

score 94 · Answer 15 · 2026-03-25 04:43:52

94

Views

Is it to say that whenever we use mathematical induction, we're inevitably admitting Peano axioms for $\Bbb N$ indeed?

Published on 25 Mar 2026 - 4:43

List Question

Difference between provability and truth of Goodstein's theorem

How Can the Peano Postulates Be Categorical If They Have NonStandard Models?

Show that PA can prove the pigeon-hole principle

Peano Axioms and loops

Is it true that $0\in 1$?

Is there a weak set theory that can prove that the natural numbers is a model of PA?

Exercises and solutions for natural deduction proofs in Robinson and Peano arithmetic

Proof of Strong Induction Using Well-Ordering Principle

Some questions about the successor function

Prove addition is commutative using axioms, definitions, and induction

How do I know what I need to show when using induction? (Peano axioms)

Do we have to prove how parentheses work in the Peano axioms?

Is $K_{n-1}$ a $\Sigma_{n-1}$-elementary substruture of $K_n$

Variations in the Statement of Strong Induction: Equivalent or Different?

Is it to say that whenever we use mathematical induction, we're inevitably admitting Peano axioms for $\Bbb N$ indeed?

Trending Questions

Popular # Hahtags

Popular Questions