Question

Completion of Peano arithmetic

score 623 · Answer 1 · 2021-04-10 17:21:04

623

Views

Completion of Peano arithmetic

Published on 10 Apr 2021 - 17:21

score 247 · Answer 2 · 2021-04-12 22:34:08

247

Views

Formal or informal definability of the standard model of natural numbers

Published on 12 Apr 2021 - 22:34

score 333 · Answer 3 · 2021-04-15 03:16:07

333

Views

Trying to Understand the Axiom of Induction in the context of formalizing Natural Numbers

Published on 15 Apr 2021 - 3:16

score 173 · Answer 4 · 2021-04-19 18:03:10

173

Views

peano arithmetic proof in fitch

Published on 19 Apr 2021 - 18:03

score 103 · Answer 5 · 2021-04-20 22:10:36

103

Views

How to construct a partial ordering from Peano's 5 Axioms?

Published on 20 Apr 2021 - 22:10

score 96 · Answer 6 · 2026-03-28 04:33:13

96

Views

Prove strict well-order from Peano successor function

Published on 28 Mar 2026 - 4:33

score 90 · Answer 7 · 2021-04-29 19:18:39

90

Views

Are there any cumulative axiomatizations of the numbers?

Published on 29 Apr 2021 - 19:18

score 110 · Answer 8 · 2026-03-28 09:45:43

110

Views

Did all axiomatic systems face a crisis with the discovery of Russell's paradox?

Published on 28 Mar 2026 - 9:45

score 212 · Answer 9 · 2026-03-29 05:35:13

212

Views

Why is Gödel's second incompleteness theorem interpreted as "a theory cannot prove its own consistency"?

Published on 29 Mar 2026 - 5:35

score 143 · Answer 10 · 2026-03-25 17:21:53

143

Views

Is there a first order formula that is satisfied by $\mathbb{N}$, but not by any other models of Peano axioms?

Published on 25 Mar 2026 - 17:21

score 82 · Answer 11 · 2021-06-25 21:30:19

82

Views

A corollary of two lemmas regarding the definition of addition of real numbers

Published on 25 Jun 2021 - 21:30

score 104 · Answer 12 · 2021-07-08 10:21:38

104

Views

Is this proof of the cancellation law for natural numbers alright?

Published on 08 Jul 2021 - 10:21

score 55 · Answer 13 · 2026-03-28 02:22:51

55

Views

Explicit strictly second order subset of the naturals.

Published on 28 Mar 2026 - 2:22

score 241 · Answer 14 · 2021-07-10 21:59:02

241

Views

An unordered pairing function in Peano arithmetic

Published on 10 Jul 2021 - 21:59

score 45 · Answer 15 · 2026-03-25 17:19:43

45

Views

A non-standard model of PA with total antisymmetric order without induction

Published on 25 Mar 2026 - 17:19

List Question

Completion of Peano arithmetic

Formal or informal definability of the standard model of natural numbers

Trying to Understand the Axiom of Induction in the context of formalizing Natural Numbers

peano arithmetic proof in fitch

How to construct a partial ordering from Peano's 5 Axioms?

Prove strict well-order from Peano successor function

Are there any cumulative axiomatizations of the numbers?

Did all axiomatic systems face a crisis with the discovery of Russell's paradox?

Why is Gödel's second incompleteness theorem interpreted as "a theory cannot prove its own consistency"?

Is there a first order formula that is satisfied by $\mathbb{N}$, but not by any other models of Peano axioms?

A corollary of two lemmas regarding the definition of addition of real numbers

Is this proof of the cancellation law for natural numbers alright?

Explicit strictly second order subset of the naturals.

An unordered pairing function in Peano arithmetic

A non-standard model of PA with total antisymmetric order without induction

Trending Questions

Popular # Hahtags

Popular Questions