Question

Prove that for there is no $n \in \mathbb{N} \setminus \{1\}$ for which there is another $m \in \mathbb{N}$ so that $nm = 1$.

score 30 · Answer 1 · 2020-06-26 08:43:47

30

Views

Prove that for there is no $n \in \mathbb{N} \setminus \{1\}$ for which there is another $m \in \mathbb{N}$ so that $nm = 1$.

Published on 26 Jun 2020 - 8:43

score 100 · Answer 2 · 2026-03-25 06:06:44

100

Views

Kripke's proof of the incompleteness of PA

Published on 25 Mar 2026 - 6:06

score 84 · Answer 3 · 2026-03-26 11:05:24

84

Views

Peter Smith's Hilbertian argument

Published on 26 Mar 2026 - 11:05

score 80 · Answer 4 · 2020-07-06 13:09:49

80

Views

What is a set with a function $f$ that don't satisfy peano's axioms?

Published on 06 Jul 2020 - 13:09

score 365 · Answer 5 · 2020-07-08 09:40:28

365

Views

Function by recursion on a set $X$ satisfy Peano's axioms

Published on 08 Jul 2020 - 9:40

score 65 · Answer 6 · 2020-07-09 15:39:44

65

Views

Proving that $\mathbb{Z_{-}} \cap \mathbb{N}=\emptyset$

Published on 09 Jul 2020 - 15:39

score 89 · Answer 7 · 2026-03-25 04:42:53

89

Views

How to add new axioms to classical Peano Arithmetic to obtain a non-standard theory.

Published on 25 Mar 2026 - 4:42

score 330 · Answer 8 · 2020-07-19 03:56:01

330

Views

Nonstandard models of PA

Published on 19 Jul 2020 - 3:56

score 107 · Answer 9 · 2020-07-21 18:33:43

107

Views

What is the intersection of inductive definable subsets of a real closed field?

Published on 21 Jul 2020 - 18:33

score 208 · Answer 10 · 2020-07-23 13:47:04

208

Views

Determine whether or not the following structure $(P,S,1)$ is a Peano System

Published on 23 Jul 2020 - 13:47

score 102 · Answer 11 · 2020-07-26 14:45:01

102

Views

Concrete examples of statements not provable in PRA + $\epsilon_0$-induction that are provable in PA?

Published on 26 Jul 2020 - 14:45

score 123 · Answer 12 · 2020-07-26 23:06:23

123

Views

Non-isolated types of Presburger Arithmetic

Published on 26 Jul 2020 - 23:06

score 226 · Answer 13 · 2020-07-29 10:56:29

226

Views

Interpreting $\textbf{PA} + \neg\text{Con}(\textbf{PA})$ in $\textbf{PA}$

Published on 29 Jul 2020 - 10:56

score 345 · Answer 14 · 2016-07-14 05:24:29

345

Views

Proving there is a unique binary operation we call multiplication

Published on 14 Jul 2016 - 5:24

score 175 · Answer 15 · 2016-07-22 03:04:37

175

Views

Is there an error in this textbook about Peano Arithmetic?

Published on 22 Jul 2016 - 3:04

List Question

Prove that for there is no $n \in \mathbb{N} \setminus \{1\}$ for which there is another $m \in \mathbb{N}$ so that $nm = 1$.

Kripke's proof of the incompleteness of PA

Peter Smith's Hilbertian argument

What is a set with a function $f$ that don't satisfy peano's axioms?

Function by recursion on a set $X$ satisfy Peano's axioms

Proving that $\mathbb{Z_{-}} \cap \mathbb{N}=\emptyset$

How to add new axioms to classical Peano Arithmetic to obtain a non-standard theory.

Nonstandard models of PA

What is the intersection of inductive definable subsets of a real closed field?

Determine whether or not the following structure $(P,S,1)$ is a Peano System

Concrete examples of statements not provable in PRA + $\epsilon_0$-induction that are provable in PA?

Non-isolated types of Presburger Arithmetic

Interpreting $\textbf{PA} + \neg\text{Con}(\textbf{PA})$ in $\textbf{PA}$

Proving there is a unique binary operation we call multiplication

Is there an error in this textbook about Peano Arithmetic?

Trending Questions

Popular # Hahtags

Popular Questions