Question

Why does incompleteness not imply consistency?

score 632 · Answer 1 · 2026-04-15 12:05:22

632

Views

Why does incompleteness not imply consistency?

Published on 15 Apr 2026 - 12:05

score 312 · Answer 2 · 2026-04-12 01:06:11

312

Views

Candidates on proved false arithmetic statements

Published on 12 Apr 2026 - 1:06

score 418 · Answer 3 · 2026-04-29 12:52:09

418

Views

Confusion about Axiom of Choice

Published on 29 Apr 2026 - 12:52

score 82 · Answer 4 · 2026-04-29 12:24:22

82

Views

Question about set theory and first order logic

Published on 29 Apr 2026 - 12:24

score 380 · Answer 5 · 2026-04-13 05:37:07

380

Views

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

Published on 13 Apr 2026 - 5:37

score 372 · Answer 6 · 2026-04-14 08:49:50

372

Views

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

Published on 14 Apr 2026 - 8:49

score 80 · Answer 7 · 2026-04-11 13:19:13

80

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 11 Apr 2026 - 13:19

score 83 · Answer 8 · 2026-04-11 04:28:04

83

Views

Is it necessary for a Mathematician to learn Maths foundations?

Published on 11 Apr 2026 - 4:28

score 112 · Answer 9 · 2026-04-29 12:46:17

112

Views

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

Published on 29 Apr 2026 - 12:46

score 1.9k · Answer 10 · 2026-04-12 20:20:46

1.9k

Views

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

Published on 12 Apr 2026 - 20:20

score 251 · Answer 11 · 2026-04-29 12:20:13

251

Views

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

Published on 29 Apr 2026 - 12:20

score 2.7k · Answer 12 · 2026-04-29 12:23:54

2.7k

Views

Set theoretic concepts in first order logic

Published on 29 Apr 2026 - 12:23

score 149 · Answer 13 · 2026-04-09 07:40:18

149

Views

Is there some more fundamental math theory than logic?

Published on 09 Apr 2026 - 7:40

score 83 · Answer 14 · 2026-04-14 07:54:09

83

Views

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

Published on 14 Apr 2026 - 7:54

score 43 · Answer 15 · 2026-04-12 08:15:47

43

Views

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

Published on 12 Apr 2026 - 8:15

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