Question

Proof of "If $ZFC$ proves there is an inaccessible cardinal, then $ZFC$ is inconsistent".

score 573 · Answer 1 · 2014-09-01 22:24:00

573

Views

Proof of "If $ZFC$ proves there is an inaccessible cardinal, then $ZFC$ is inconsistent".

Published on 01 Sep 2014 - 22:24

score 979 · Answer 2 · 2026-03-25 12:21:23

979

Views

Problems with nesting proof predicates in first order logic.

Published on 25 Mar 2026 - 12:21

score 1.7k · Answer 3 · 2026-03-25 11:02:50

1.7k

Views

Can unprovability unprovable? Is there an $\omega$-fold unprovability?

Published on 25 Mar 2026 - 11:02

score 109 · Answer 4 · 2014-09-25 10:51:06

109

Views

Question about the incompleteness proof (Theorem V)

Published on 25 Sep 2014 - 10:51

score 172 · Answer 5 · 2014-09-27 22:03:48

172

Views

About Gödel's Incompleteness Theorem

Published on 27 Sep 2014 - 22:03

score 2.8k · Answer 6 · 2026-03-25 11:08:49

2.8k

Views

True but unprovable?

Published on 25 Mar 2026 - 11:08

score 383 · Answer 7 · 2026-03-25 11:11:59

383

Views

How can Goodstein's theorem be expressed in PA

Published on 25 Mar 2026 - 11:11

score 223 · Answer 8 · 2014-10-30 18:23:11

223

Views

Questions about godel's first incompleteness theorem

Published on 30 Oct 2014 - 18:23

score 1.3k · Answer 9 · 2014-11-02 01:47:39

1.3k

Views

Is it possible to deduce Godel's first incompleteness theorem from Chaitin's incompleteness theorem?

Published on 02 Nov 2014 - 1:47

score 1.1k · Answer 10 · 2014-11-02 13:46:13

1.1k

Views

Fixed points in computability and logic

Published on 02 Nov 2014 - 13:46

score 105 · Answer 11 · 2026-03-23 09:34:24

105

Views

Algorithm to force decidability of statements using an intuitionistic series of new axioms

Published on 23 Mar 2026 - 9:34

score 145 · Answer 12 · 2014-11-16 02:04:45

145

Views

Uncountable reals in the theory

Published on 16 Nov 2014 - 2:04

score 309 · Answer 13 · 2014-11-16 15:55:46

309

Views

What does First Godel's Incompleteness theorem mean?

Published on 16 Nov 2014 - 15:55

score 1.1k · Answer 14 · 2026-03-25 14:25:22

1.1k

Views

Is it possible to prove that some point belongs to Mandelbrot set? Is this an example of Gödel's theorem?

Published on 25 Mar 2026 - 14:25

score 300 · Answer 15 · 2014-12-01 02:58:30

300

Views

Problem in Kunen - suitable representation of ZF proves the consistency of ZF?

Published on 01 Dec 2014 - 2:58

List Question

Proof of "If $ZFC$ proves there is an inaccessible cardinal, then $ZFC$ is inconsistent".

Problems with nesting proof predicates in first order logic.

Can unprovability unprovable? Is there an $\omega$-fold unprovability?

Question about the incompleteness proof (Theorem V)

About Gödel's Incompleteness Theorem

True but unprovable?

How can Goodstein's theorem be expressed in PA

Questions about godel's first incompleteness theorem

Is it possible to deduce Godel's first incompleteness theorem from Chaitin's incompleteness theorem?

Fixed points in computability and logic

Algorithm to force decidability of statements using an intuitionistic series of new axioms

Uncountable reals in the theory

What does First Godel's Incompleteness theorem mean?

Is it possible to prove that some point belongs to Mandelbrot set? Is this an example of Gödel's theorem?

Problem in Kunen - suitable representation of ZF proves the consistency of ZF?

Trending Questions

Popular # Hahtags

Popular Questions