Question

What if someone comes up with a proof of consistency of arithmetic under the following conditions?

score 401 · Answer 1 · 2026-05-10 15:14:13

401

Views

What if someone comes up with a proof of consistency of arithmetic under the following conditions?

Published on 10 May 2026 - 15:14

score 540 · Answer 2 · 2026-04-15 02:53:21

540

Views

Understanding and proving prop 2.1.16 in Tao's Analysis I concerning recursive definitions

Published on 15 Apr 2026 - 2:53

score 178 · Answer 3 · 2026-04-29 12:18:59

178

Views

Mathematical Induction: First vs. Second order Induction Axiom

Published on 29 Apr 2026 - 12:18

score 916 · Answer 4 · 2026-04-14 02:59:05

916

Views

Multiplication cancellation property by Peano axioms

Published on 14 Apr 2026 - 2:59

score 249 · Answer 5 · 2026-05-10 15:13:22

249

Views

Goedel's first incompleteness theorem, the omega rule, and Tennant's reflection rule

Published on 10 May 2026 - 15:13

score 475 · Answer 6 · 2026-05-10 16:09:39

475

Views

A model-theoretic question re: Nelson and exponentiation

Published on 10 May 2026 - 16:09

score 106 · Answer 7 · 2026-04-11 03:46:03

106

Views

Proof of induction from higher starting point

Published on 11 Apr 2026 - 3:46

score 2.9k · Answer 8 · 2026-04-12 02:51:50

2.9k

Views

What's the relationship between ZFC and Peano axioms? Are they overlapping, complementary or separate?

Published on 12 Apr 2026 - 2:51

score 1.3k · Answer 9 · 2026-05-10 15:12:20

1.3k

Views

Is Fermat's last theorem provable in Peano arithmetic?

Published on 10 May 2026 - 15:12

score 1.2k · Answer 10 · 2026-05-10 15:12:18

1.2k

Views

George Boolos and Gödel's Second Incompleteness Theorem

Published on 10 May 2026 - 15:12

score 844 · Answer 11 · 2026-04-08 18:04:15

844

Views

Inductive proof using Fitch software

Published on 08 Apr 2026 - 18:04

score 117 · Answer 12 · 2026-04-14 21:05:48

117

Views

Proving the commutative law for 1-based $\Bbb{N}$

Published on 14 Apr 2026 - 21:05

score 25 · Answer 13 · 2026-04-16 07:48:37

25

Views

Proving the addition law for equality, eg. $+$ is compatible with $=$ on $\mathbb{N}$

Published on 16 Apr 2026 - 7:48

score 420 · Answer 14 · 2026-05-10 15:00:46

420

Views

Proving well ordering principle from PMI (PCI) from peano axioms

Published on 10 May 2026 - 15:00

score 255 · Answer 15 · 2026-04-29 12:46:13

255

Views

Do induction axioms of Peano Arithmetic have other simple equivalent forms?

Published on 29 Apr 2026 - 12:46

List Question

What if someone comes up with a proof of consistency of arithmetic under the following conditions?

Understanding and proving prop 2.1.16 in Tao's Analysis I concerning recursive definitions

Mathematical Induction: First vs. Second order Induction Axiom

Multiplication cancellation property by Peano axioms

Goedel's first incompleteness theorem, the omega rule, and Tennant's reflection rule

A model-theoretic question re: Nelson and exponentiation

Proof of induction from higher starting point

What's the relationship between ZFC and Peano axioms? Are they overlapping, complementary or separate?

Is Fermat's last theorem provable in Peano arithmetic?

George Boolos and Gödel's Second Incompleteness Theorem

Inductive proof using Fitch software

Proving the commutative law for 1-based $\Bbb{N}$

Proving the addition law for equality, eg. $+$ is compatible with $=$ on $\mathbb{N}$

Proving well ordering principle from PMI (PCI) from peano axioms

Do induction axioms of Peano Arithmetic have other simple equivalent forms?

Trending Questions

Popular # Hahtags

Popular Questions