Question

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

score 398 · Answer 1 · 2026-03-25 01:18:37

398

Views

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

Published on 25 Mar 2026 - 1:18

score 537 · Answer 2 · 2018-08-04 19:52:05

537

Views

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

Published on 04 Aug 2018 - 19:52

score 172 · Answer 3 · 2026-03-12 04:09:55

172

Views

Mathematical Induction: First vs. Second order Induction Axiom

Published on 12 Mar 2026 - 4:09

score 914 · Answer 4 · 2018-08-08 01:00:34

914

Views

Multiplication cancellation property by Peano axioms

Published on 08 Aug 2018 - 1:00

score 246 · Answer 5 · 2026-03-25 01:17:21

246

Views

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

Published on 25 Mar 2026 - 1:17

score 474 · Answer 6 · 2026-03-24 23:53:51

474

Views

A model-theoretic question re: Nelson and exponentiation

Published on 24 Mar 2026 - 23:53

score 103 · Answer 7 · 2018-08-18 20:46:03

103

Views

Proof of induction from higher starting point

Published on 18 Aug 2018 - 20:46

score 2.9k · Answer 8 · 2018-08-19 16:22:47

2.9k

Views

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

Published on 19 Aug 2018 - 16:22

score 1.3k · Answer 9 · 2026-03-25 01:22:20

1.3k

Views

Is Fermat's last theorem provable in Peano arithmetic?

Published on 25 Mar 2026 - 1:22

score 1.2k · Answer 10 · 2026-03-25 03:00:28

1.2k

Views

George Boolos and Gödel's Second Incompleteness Theorem

Published on 25 Mar 2026 - 3:00

score 841 · Answer 11 · 2026-03-25 03:16:40

841

Views

Inductive proof using Fitch software

Published on 25 Mar 2026 - 3:16

score 115 · Answer 12 · 2026-03-25 09:34:53

115

Views

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

Published on 25 Mar 2026 - 9:34

score 22 · Answer 13 · 2018-08-27 13:19:17

22

Views

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

Published on 27 Aug 2018 - 13:19

score 416 · Answer 14 · 2018-08-29 05:03:18

416

Views

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

Published on 29 Aug 2018 - 5:03

score 247 · Answer 15 · 2026-03-23 14:13:48

247

Views

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

Published on 23 Mar 2026 - 14:13

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