Question

Can I change an axiom to something that is logically equivalent?

score 69 · Answer 1 · 2016-08-10 20:33:28

69

Views

Can I change an axiom to something that is logically equivalent?

Published on 10 Aug 2016 - 20:33

score 416 · Answer 2 · 2026-03-26 08:23:09

416

Views

What would be the minimal, common-sense axiom of infinity in Peano?

Published on 26 Mar 2026 - 8:23

score 467 · Answer 3 · 2026-03-26 10:59:52

467

Views

Can a formal system of arithmetic prove itself consistent for all grounded theorems?

Published on 26 Mar 2026 - 10:59

score 120 · Answer 4 · 2016-08-17 15:31:03

120

Views

Peano Induction confusion

Published on 17 Aug 2016 - 15:31

score 226 · Answer 5 · 2016-09-04 13:28:57

226

Views

Non-isomorphic models of PA with isomorphic Automorphism groups

Published on 04 Sep 2016 - 13:28

score 1.8k · Answer 6 · 2026-03-26 00:58:41

1.8k

Views

Statement provable for all parameters, but unprovable when quantified

Published on 26 Mar 2026 - 0:58

score 370 · Answer 7 · 2026-03-26 19:01:05

370

Views

Peano axioms: 3 or 5 axioms?

Published on 26 Mar 2026 - 19:01

score 406 · Answer 8 · 2016-09-16 08:44:41

406

Views

if arithmetic is not axiomatizable, why are the Peano Axioms called so?

Published on 16 Sep 2016 - 8:44

score 76 · Answer 9 · 2016-09-25 13:49:39

76

Views

The "density" of gaps in countable arithmetically saturated models or Peano Arithmetic

Published on 25 Sep 2016 - 13:49

score 415 · Answer 10 · 2016-10-06 15:19:09

415

Views

Infinity and the Peano axioms

Published on 06 Oct 2016 - 15:19

score 120 · Answer 11 · 2016-10-08 06:03:27

120

Views

Why First Order PA?

Published on 08 Oct 2016 - 6:03

score 552 · Answer 12 · 2016-10-08 10:32:48

552

Views

Peano axioms-Mathematical Induction

Published on 08 Oct 2016 - 10:32

score 2.2k · Answer 13 · 2016-10-09 18:28:09

2.2k

Views

Peano Addition is recursive?

Published on 09 Oct 2016 - 18:28

score 262 · Answer 14 · 2016-10-12 22:13:52

262

Views

Friedman's enormous integers in real life. Are the examples unprovable in Peano?

Published on 12 Oct 2016 - 22:13

score 784 · Answer 15 · 2016-10-14 09:28:44

784

Views

Which axioms of the foundation of natural numbers are used in the proof of the pigeonhole principle?

Published on 14 Oct 2016 - 9:28

List Question

Can I change an axiom to something that is logically equivalent?

What would be the minimal, common-sense axiom of infinity in Peano?

Can a formal system of arithmetic prove itself consistent for all grounded theorems?

Peano Induction confusion

Non-isomorphic models of PA with isomorphic Automorphism groups

Statement provable for all parameters, but unprovable when quantified

Peano axioms: 3 or 5 axioms?

if arithmetic is not axiomatizable, why are the Peano Axioms called so?

The "density" of gaps in countable arithmetically saturated models or Peano Arithmetic

Infinity and the Peano axioms

Why First Order PA?

Peano axioms-Mathematical Induction

Peano Addition is recursive?

Friedman's enormous integers in real life. Are the examples unprovable in Peano?

Which axioms of the foundation of natural numbers are used in the proof of the pigeonhole principle?

Trending Questions

Popular # Hahtags

Popular Questions