Question

clarify the term "arithmetics" when talking about Gödel's incompleteness theorems

score 851 · Answer 1 · 2026-03-27 21:23:03

851

Views

clarify the term "arithmetics" when talking about Gödel's incompleteness theorems

Published on 27 Mar 2026 - 21:23

score 319 · Answer 2 · 2013-09-11 18:02:11

319

Views

Are there any foundations in which the universe itself gets dynamically extended?

Published on 11 Sep 2013 - 18:02

score 3.6k · Answer 3 · 2013-09-13 17:37:44

3.6k

Views

Equal to the same are equal to each other - Is it geometry?

Published on 13 Sep 2013 - 17:37

score 569 · Answer 4 · 2026-03-25 15:38:53

569

Views

Why is bounded induction stronger than open induction?

Published on 25 Mar 2026 - 15:38

score 229 · Answer 5 · 2026-03-25 15:40:59

229

Views

Is open induction as strong as bounded induction without free bounds?

Published on 25 Mar 2026 - 15:40

score 281 · Answer 6 · 2026-03-25 15:47:20

281

Views

Where is the least upper bound property used in transcendence proofs?

Published on 25 Mar 2026 - 15:47

score 173 · Answer 7 · 2026-03-25 15:45:24

173

Views

How strong is ramified predicative second-order arithmetic?

Published on 25 Mar 2026 - 15:45

score 1k · Answer 8 · 2013-09-16 15:41:50

1k

Views

Do irrational numbers have equivalence classes the way rational numbers do?

Published on 16 Sep 2013 - 15:41

score 164 · Answer 9 · 2013-09-18 19:05:44

164

Views

Non-stratified formulas which define sets in New Foundations?

Published on 18 Sep 2013 - 19:05

score 83 · Answer 10 · 2013-09-20 04:32:32

83

Views

In ETCS, how do we take the limit of an infinite diagram?

Published on 20 Sep 2013 - 4:32

score 2.6k · Answer 11 · 2013-09-20 13:38:06

2.6k

Views

Why does Cantor's Proof (that R is uncountable) fail for Q?

Published on 20 Sep 2013 - 13:38

score 1.9k · Answer 12 · 2013-09-21 18:29:56

1.9k

Views

Is there a Second-Order Axiomatization of ZF(C) which is categorical?

Published on 21 Sep 2013 - 18:29

score 330 · Answer 13 · 2013-09-24 09:34:07

330

Views

Quine's NF and paradoxes

Published on 24 Sep 2013 - 9:34

score 4.3k · Answer 14 · 2013-09-26 19:23:57

4.3k

Views

How to show that the is a $1-1$ correspondence between real numbers and the set of points of a line in the Euclidean plane?

Published on 26 Sep 2013 - 19:23

score 237 · Answer 15 · 2013-09-27 18:33:16

237

Views

Quantification and logical relations, shorthand notation $\forall/\exists x \in M...$

Published on 27 Sep 2013 - 18:33

List Question

clarify the term "arithmetics" when talking about Gödel's incompleteness theorems

Are there any foundations in which the universe itself gets dynamically extended?

Equal to the same are equal to each other - Is it geometry?

Why is bounded induction stronger than open induction?

Is open induction as strong as bounded induction without free bounds?

Where is the least upper bound property used in transcendence proofs?

How strong is ramified predicative second-order arithmetic?

Do irrational numbers have equivalence classes the way rational numbers do?

Non-stratified formulas which define sets in New Foundations?

In ETCS, how do we take the limit of an infinite diagram?

Why does Cantor's Proof (that R is uncountable) fail for Q?

Is there a Second-Order Axiomatization of ZF(C) which is categorical?

Quine's NF and paradoxes

How to show that the is a $1-1$ correspondence between real numbers and the set of points of a line in the Euclidean plane?

Quantification and logical relations, shorthand notation $\forall/\exists x \in M...$

Trending Questions

Popular # Hahtags

Popular Questions