Question

Model Theoretical Interpretation of the Incompleteness of Number Theory

score 185 · Answer 1 · 2026-02-23 02:59:21

185

Views

Model Theoretical Interpretation of the Incompleteness of Number Theory

Published on 23 Feb 2026 - 2:59

score 112 · Answer 2 · 2026-03-25 03:07:43

112

Views

How to deduce $\square p\to p$ from other modal axioms?

Published on 25 Mar 2026 - 3:07

score 68 · Answer 3 · 2026-02-23 04:55:04

68

Views

Does the order of applying rules in Sequent Calculus matter?

Published on 23 Feb 2026 - 4:55

score 95 · Answer 4 · 2026-02-23 02:52:52

95

Views

Does the deduction theorem hold in Q?

Published on 23 Feb 2026 - 2:52

score 178 · Answer 5 · 2026-03-23 09:55:06

178

Views

ZFC plus HOL-Standardness

Published on 23 Mar 2026 - 9:55

score 144 · Answer 6 · 2019-04-15 20:47:00

144

Views

Name of the basic property of equalities that if a=b then f(a)=f(b).

Published on 15 Apr 2019 - 20:47

score 114 · Answer 7 · 2019-04-18 11:22:38

114

Views

Can we prove this proposition without thinking semantics?

Published on 18 Apr 2019 - 11:22

score 49 · Answer 8 · 2019-04-25 19:19:54

49

Views

Provable well-founded ordering

Published on 25 Apr 2019 - 19:19

score 48 · Answer 9 · 2019-04-28 21:43:26

48

Views

Can we convert existential sentences into functions?

Published on 28 Apr 2019 - 21:43

score 91 · Answer 10 · 2019-05-15 05:11:25

91

Views

Stuck in this Proof of the Completeness Theorem for Predicate Logic

Published on 15 May 2019 - 5:11

score 66 · Answer 11 · 2019-05-15 07:00:42

66

Views

Does $n^\prime\ne n^{\prime\prime}$ require proof by contradiction? $n^\prime$ is the successor of $n$.

Published on 15 May 2019 - 7:00

score 238 · Answer 12 · 2026-03-25 14:26:12

238

Views

Natural deduction proof: $C, (C \land D)↔F \vdash (D \land E) \to F$

Published on 25 Mar 2026 - 14:26

score 253 · Answer 13 · 2019-05-21 10:50:03

253

Views

How to prove this propositional tautology using only axioms from Mendelson's "Introduction to Mathematical Logic"

Published on 21 May 2019 - 10:50

score 141 · Answer 14 · 2019-05-21 15:27:26

141

Views

What are the assumptions of the logical/Mathematical proof-making system?

Published on 21 May 2019 - 15:27

score 97 · Answer 15 · 2026-03-25 04:50:39

97

Views

Can we use metatheory of set theory for proof statements in set theory?

Published on 25 Mar 2026 - 4:50

List Question

Model Theoretical Interpretation of the Incompleteness of Number Theory

How to deduce $\square p\to p$ from other modal axioms?

Does the order of applying rules in Sequent Calculus matter?

Does the deduction theorem hold in Q?

ZFC plus HOL-Standardness

Name of the basic property of equalities that if a=b then f(a)=f(b).

Can we prove this proposition without thinking semantics?

Provable well-founded ordering

Can we convert existential sentences into functions?

Stuck in this Proof of the Completeness Theorem for Predicate Logic

Does $n^\prime\ne n^{\prime\prime}$ require proof by contradiction? $n^\prime$ is the successor of $n$.

Natural deduction proof: $C, (C \land D)↔F \vdash (D \land E) \to F$

How to prove this propositional tautology using only axioms from Mendelson's "Introduction to Mathematical Logic"

What are the assumptions of the logical/Mathematical proof-making system?

Can we use metatheory of set theory for proof statements in set theory?

Trending Questions

Popular # Hahtags

Popular Questions