Question

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

score 576 · Answer 1 · 2026-04-12 02:42:56

576

Views

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

Published on 12 Apr 2026 - 2:42

score 981 · Answer 2 · 2026-04-09 14:22:18

981

Views

Problems with nesting proof predicates in first order logic.

Published on 09 Apr 2026 - 14:22

score 1.7k · Answer 3 · 2026-05-10 20:03:18

1.7k

Views

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

Published on 10 May 2026 - 20:03

score 112 · Answer 4 · 2026-04-13 12:19:02

112

Views

Question about the incompleteness proof (Theorem V)

Published on 13 Apr 2026 - 12:19

score 175 · Answer 5 · 2026-04-11 06:24:24

175

Views

About Gödel's Incompleteness Theorem

Published on 11 Apr 2026 - 6:24

score 2.8k · Answer 6 · 2026-05-10 20:49:18

2.8k

Views

True but unprovable?

Published on 10 May 2026 - 20:49

score 386 · Answer 7 · 2026-05-10 22:07:52

386

Views

How can Goodstein's theorem be expressed in PA

Published on 10 May 2026 - 22:07

score 226 · Answer 8 · 2026-04-12 08:02:36

226

Views

Questions about godel's first incompleteness theorem

Published on 12 Apr 2026 - 8:02

score 1.3k · Answer 9 · 2026-04-12 11:53:34

1.3k

Views

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

Published on 12 Apr 2026 - 11:53

score 1.1k · Answer 10 · 2026-04-12 23:51:45

1.1k

Views

Fixed points in computability and logic

Published on 12 Apr 2026 - 23:51

score 106 · Answer 11 · 2026-03-25 19:04:58

106

Views

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

Published on 25 Mar 2026 - 19:04

score 148 · Answer 12 · 2026-04-11 15:58:36

148

Views

Uncountable reals in the theory

Published on 11 Apr 2026 - 15:58

score 312 · Answer 13 · 2026-04-11 15:07:26

312

Views

What does First Godel's Incompleteness theorem mean?

Published on 11 Apr 2026 - 15:07

score 1.1k · Answer 14 · 2026-05-10 20:03:54

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 10 May 2026 - 20:03

score 303 · Answer 15 · 2026-04-11 17:31:13

303

Views

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

Published on 11 Apr 2026 - 17:31

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