Question

Is the first-order incompleteness of a theory (like arithmetics, set theory or logic itself) avoidable in a second or higher-order axiomatizations?

score 262 · Answer 1 · 2026-03-25 16:03:07

262

Views

Is the first-order incompleteness of a theory (like arithmetics, set theory or logic itself) avoidable in a second or higher-order axiomatizations?

Published on 25 Mar 2026 - 16:03

score 283 · Answer 2 · 2014-11-05 03:59:04

283

Views

Can arithmetic truths fix the truth value of the Continuum Hypothesis?

Published on 05 Nov 2014 - 3:59

score 411 · Answer 3 · 2014-11-05 15:57:53

411

Views

What goes wrong in the following argument that our conception of "set" is inconsistent?

Published on 05 Nov 2014 - 15:57

score 875 · Answer 4 · 2014-11-07 04:04:53

875

Views

Why is the Power Set Operation Inherently Vague?

Published on 07 Nov 2014 - 4:04

score 748 · Answer 5 · 2014-11-09 19:55:38

748

Views

Philosophical implications of P vs NP proof?

Published on 09 Nov 2014 - 19:55

score 2.6k · Answer 6 · 2014-11-11 19:51:09

2.6k

Views

What is the "opposite" of the Axiom of Choice?

Published on 11 Nov 2014 - 19:51

score 228 · Answer 7 · 2014-11-12 14:42:03

228

Views

Impredicativity and set theory

Published on 12 Nov 2014 - 14:42

score 88 · Answer 8 · 2026-03-25 06:01:20

88

Views

A Question Regarding Representing $\mathscr P$($\omega$) as a Digraph and CH

Published on 25 Mar 2026 - 6:01

score 123 · Answer 9 · 2014-11-22 05:05:43

123

Views

maximum number of possible rules of a sequence?

Published on 22 Nov 2014 - 5:05

score 173 · Answer 10 · 2014-11-23 04:31:47

173

Views

Apparent Arbitrariness in Mathematics

Published on 23 Nov 2014 - 4:31

score 151 · Answer 11 · 2026-03-25 16:44:24

151

Views

Is there a name for this constant? (0.0100011011...)

Published on 25 Mar 2026 - 16:44

score 332 · Answer 12 · 2014-12-06 14:30:15

332

Views

How much of Mathematics is limited by our writing?

Published on 06 Dec 2014 - 14:30

score 199 · Answer 13 · 2014-12-06 17:47:03

199

Views

the purpose of induction

Published on 06 Dec 2014 - 17:47

score 1k · Answer 14 · 2026-03-25 12:54:11

1k

Views

Goldbach's conjecture can't be proved to be undecidable?

Published on 25 Mar 2026 - 12:54

score 95 · Answer 15 · 2014-12-09 22:17:42

95

Views

Is ( Set S contains $x$ and only $x$ then does S equals $x$ ) true?

Published on 09 Dec 2014 - 22:17

List Question

Is the first-order incompleteness of a theory (like arithmetics, set theory or logic itself) avoidable in a second or higher-order axiomatizations?

Can arithmetic truths fix the truth value of the Continuum Hypothesis?

What goes wrong in the following argument that our conception of "set" is inconsistent?

Why is the Power Set Operation Inherently Vague?

Philosophical implications of P vs NP proof?

What is the "opposite" of the Axiom of Choice?

Impredicativity and set theory

A Question Regarding Representing $\mathscr P$($\omega$) as a Digraph and CH

maximum number of possible rules of a sequence?

Apparent Arbitrariness in Mathematics

Is there a name for this constant? (0.0100011011...)

How much of Mathematics is limited by our writing?

the purpose of induction

Goldbach's conjecture can't be proved to be undecidable?

Is ( Set S contains $x$ and only $x$ then does S equals $x$ ) true?

Trending Questions

Popular # Hahtags

Popular Questions