Question

Why does incompleteness not imply consistency?

score 630 · Answer 1 · 2026-03-24 21:59:43

630

Views

Why does incompleteness not imply consistency?

Published on 24 Mar 2026 - 21:59

score 310 · Answer 2 · 2026-03-24 21:59:40

310

Views

Candidates on proved false arithmetic statements

Published on 24 Mar 2026 - 21:59

score 410 · Answer 3 · 2026-03-16 23:33:48

410

Views

Confusion about Axiom of Choice

Published on 16 Mar 2026 - 23:33

score 77 · Answer 4 · 2026-03-24 23:42:48

77

Views

Question about set theory and first order logic

Published on 24 Mar 2026 - 23:42

score 377 · Answer 5 · 2018-03-16 16:20:19

377

Views

How did Tarski show that some propositions are neither true nor false?

Published on 16 Mar 2018 - 16:20

score 370 · Answer 6 · 2026-03-24 23:46:31

370

Views

Existence of an inner model of ZFC implies $Con(ZFC)$?

Published on 24 Mar 2026 - 23:46

score 77 · Answer 7 · 2018-03-21 12:50:14

77

Views

A simple explanation as to why $\mathbb R$ is not a subset of $\mathbb C$ from the point of view of set theory?

Published on 21 Mar 2018 - 12:50

score 80 · Answer 8 · 2026-03-17 11:34:19

80

Views

Is it necessary for a Mathematician to learn Maths foundations?

Published on 17 Mar 2026 - 11:34

score 103 · Answer 9 · 2026-03-16 23:37:42

103

Views

Having Trouble Seeing Why Friedman's Theorem (1973) is true.

Published on 16 Mar 2026 - 23:37

score 1.8k · Answer 10 · 2026-03-17 18:20:31

1.8k

Views

Reference of the connection of category theory and logic(foundation of mathematics)

Published on 17 Mar 2026 - 18:20

score 245 · Answer 11 · 2026-03-17 06:56:08

245

Views

What does a proof that $\mathcal{N}$ is a model of $PA$ look like?

Published on 17 Mar 2026 - 6:56

score 2.7k · Answer 12 · 2026-03-24 21:59:48

2.7k

Views

Set theoretic concepts in first order logic

Published on 24 Mar 2026 - 21:59

score 146 · Answer 13 · 2026-03-17 16:43:08

146

Views

Is there some more fundamental math theory than logic?

Published on 17 Mar 2026 - 16:43

score 81 · Answer 14 · 2026-03-25 04:42:52

81

Views

Is an equivalence relation (= sign) needed for the real number system or is a consequence of the other axioms?

Published on 25 Mar 2026 - 4:42

score 40 · Answer 15 · 2018-04-26 17:43:39

40

Views

Could we have a useful probability measure if we don't require $P(\Omega) = 1$?

Published on 26 Apr 2018 - 17:43

List Question

Why does incompleteness not imply consistency?

Candidates on proved false arithmetic statements

Confusion about Axiom of Choice

Question about set theory and first order logic

How did Tarski show that some propositions are neither true nor false?

Existence of an inner model of ZFC implies $Con(ZFC)$?

A simple explanation as to why $\mathbb R$ is not a subset of $\mathbb C$ from the point of view of set theory?

Is it necessary for a Mathematician to learn Maths foundations?

Having Trouble Seeing Why Friedman's Theorem (1973) is true.

Reference of the connection of category theory and logic(foundation of mathematics)

What does a proof that $\mathcal{N}$ is a model of $PA$ look like?

Set theoretic concepts in first order logic

Is there some more fundamental math theory than logic?

Is an equivalence relation (= sign) needed for the real number system or is a consequence of the other axioms?

Could we have a useful probability measure if we don't require $P(\Omega) = 1$?

Trending Questions

Popular # Hahtags

Popular Questions