Question

Difference between provability and truth of Goodstein's theorem

score 2.5k · Answer 1 · 2026-05-07 12:42:27

2.5k

Views

Difference between provability and truth of Goodstein's theorem

Published on 07 May 2026 - 12:42

score 1.4k · Answer 2 · 2026-05-07 10:12:37

1.4k

Views

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

Published on 07 May 2026 - 10:12

score 532 · Answer 3 · 2026-05-07 08:28:29

532

Views

Show that PA can prove the pigeon-hole principle

Published on 07 May 2026 - 8:28

score 661 · Answer 4 · 2026-05-10 13:18:38

661

Views

Peano Axioms and loops

Published on 10 May 2026 - 13:18

score 119 · Answer 5 · 2026-05-10 09:57:39

119

Views

Is it true that $0\in 1$?

Published on 10 May 2026 - 9:57

score 154 · Answer 6 · 2026-05-07 07:42:29

154

Views

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

Published on 07 May 2026 - 7:42

score 588 · Answer 7 · 2026-04-29 12:19:54

588

Views

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

Published on 29 Apr 2026 - 12:19

score 2.2k · Answer 8 · 2026-05-10 13:38:39

2.2k

Views

Proof of Strong Induction Using Well-Ordering Principle

Published on 10 May 2026 - 13:38

score 1.7k · Answer 9 · 2026-05-07 17:37:39

1.7k

Views

Some questions about the successor function

Published on 07 May 2026 - 17:37

score 3k · Answer 10 · 2026-05-05 22:58:46

3k

Views

Prove addition is commutative using axioms, definitions, and induction

Published on 05 May 2026 - 22:58

score 89 · Answer 11 · 2026-05-07 11:31:23

89

Views

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

Published on 07 May 2026 - 11:31

score 2.7k · Answer 12 · 2026-05-10 11:43:39

2.7k

Views

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

Published on 10 May 2026 - 11:43

score 66 · Answer 13 · 2026-05-10 11:42:07

66

Views

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

Published on 10 May 2026 - 11:42

score 172 · Answer 14 · 2026-04-30 14:44:23

172

Views

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

Published on 30 Apr 2026 - 14:44

score 101 · Answer 15 · 2026-05-10 11:42:50

101

Views

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

Published on 10 May 2026 - 11:42

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