Question

Prove if $x \neq 1$ then there exists exactly one $u$ such that $x=u'$

score 133 · Answer 1 · 2019-09-21 12:23:09

133

Views

Prove if $x \neq 1$ then there exists exactly one $u$ such that $x=u'$

Published on 21 Sep 2019 - 12:23

score 117 · Answer 2 · 2019-09-27 17:13:38

117

Views

Is equality in PA just an equivalence relation or it fulfills the substitution schemata of first order logic with equality?

Published on 27 Sep 2019 - 17:13

score 856 · Answer 3 · 2019-09-29 22:32:06

856

Views

Really confused about the relationship between set theory, functions, ZFC, Peano axioms, etc.

Published on 29 Sep 2019 - 22:32

score 1.5k · Answer 4 · 2014-03-13 00:56:58

1.5k

Views

When is a Decidable Set Decidable?

Published on 13 Mar 2014 - 0:56

score 119 · Answer 5 · 2026-03-24 23:40:55

119

Views

Why Quantifier Free Formulas define Linear Functions.

Published on 24 Mar 2026 - 23:40

score 1.6k · Answer 6 · 2014-03-25 20:01:34

1.6k

Views

Successor of 0 is 1

Published on 25 Mar 2014 - 20:01

score 900 · Answer 7 · 2026-03-25 12:33:53

900

Views

Con(PA) implies consistency of $\mathsf{PA}$ + ¬Con($\mathsf{PA}$)

Published on 25 Mar 2026 - 12:33

score 212 · Answer 8 · 2014-04-08 22:56:23

212

Views

A Question About Tennebaum's Theorem?

Published on 08 Apr 2014 - 22:56

score 524 · Answer 9 · 2014-04-20 14:38:39

524

Views

How can the Gödel sentence be Pi_1

Published on 20 Apr 2014 - 14:38

score 78 · Answer 10 · 2014-04-27 11:16:51

78

Views

Expressions in Peano Arithmetic that falsify these statements?

Published on 27 Apr 2014 - 11:16

score 586 · Answer 11 · 2014-05-06 17:55:40

586

Views

Why does the definition of addition require proofs?

Published on 06 May 2014 - 17:55

score 298 · Answer 12 · 2014-05-08 13:04:05

298

Views

How is addition on N formally defined in textbooks on real analysis?

Published on 08 May 2014 - 13:04

score 247 · Answer 13 · 2014-05-10 00:36:09

247

Views

Why is the language of arithmetic usually $(+, \cdot, 0, s)$, not $(+, \cdot, 0, 1)$?

Published on 10 May 2014 - 0:36

score 3.8k · Answer 14 · 2014-05-14 01:03:11

3.8k

Views

Proving the definition of addition

Published on 14 May 2014 - 1:03

score 134 · Answer 15 · 2014-05-17 11:51:46

134

Views

Can Goodstein's theorem be expressed as an axiom or axiom scheme in PA?

Published on 17 May 2014 - 11:51

List Question

Prove if $x \neq 1$ then there exists exactly one $u$ such that $x=u'$

Is equality in PA just an equivalence relation or it fulfills the substitution schemata of first order logic with equality?

Really confused about the relationship between set theory, functions, ZFC, Peano axioms, etc.

When is a Decidable Set Decidable?

Why Quantifier Free Formulas define Linear Functions.

Successor of 0 is 1

Con(PA) implies consistency of $\mathsf{PA}$ + ¬Con($\mathsf{PA}$)

A Question About Tennebaum's Theorem?

How can the Gödel sentence be Pi_1

Expressions in Peano Arithmetic that falsify these statements?

Why does the definition of addition require proofs?

How is addition on N formally defined in textbooks on real analysis?

Why is the language of arithmetic usually $(+, \cdot, 0, s)$, not $(+, \cdot, 0, 1)$?

Proving the definition of addition

Can Goodstein's theorem be expressed as an axiom or axiom scheme in PA?

Trending Questions

Popular # Hahtags

Popular Questions