Question

Difference between provability and truth of Goodstein's theorem

score 2.5k · Answer 1 · 2026-03-21 11:30:56

2.5k

Views

Difference between provability and truth of Goodstein's theorem

Published on 21 Mar 2026 - 11:30

score 161 · Answer 2 · 2026-03-24 04:43:12

161

Views

Can all unprovable statements in a given mathematical theory be determined with the addition of a finite number of new axioms?

Published on 24 Mar 2026 - 4:43

score 273 · Answer 3 · 2026-03-23 05:53:41

273

Views

Map = Tuple? Advantages and disadvantages

Published on 23 Mar 2026 - 5:53

score 4.3k · Answer 4 · 2026-03-22 18:44:42

4.3k

Views

Why doesn't the independence of the continuum hypothesis immediately imply that ZFC is unsatisfactory?

Published on 22 Mar 2026 - 18:44

score 1.7k · Answer 5 · 2026-03-23 10:21:08

1.7k

Views

Formally what is an unlabeled graph? I have no problem defining labeled graphs with set theory, but can't do the same here.

Published on 23 Mar 2026 - 10:21

score 576 · Answer 6 · 2026-03-23 02:55:26

576

Views

Defining first order logic quantifiers without sets

Published on 23 Mar 2026 - 2:55

score 348 · Answer 7 · 2026-03-24 19:44:34

348

Views

How to generalize the mechanism of subtraction, from naturals to negatives?

Published on 24 Mar 2026 - 19:44

score 20.4k · Answer 8 · 2026-03-19 17:49:25

20.4k

Views

Mathematical ideas that took long to define rigorously

Published on 19 Mar 2026 - 17:49

score 335 · Answer 9 · 2026-03-23 12:40:57

335

Views

What elementary theorems depend on the Axiom of Infinity?

Published on 23 Mar 2026 - 12:40

score 264 · Answer 10 · 2026-03-24 05:41:03

264

Views

Proving in Quine's New Foundations

Published on 24 Mar 2026 - 5:41

score 160 · Answer 11 · 2026-03-25 03:50:38

160

Views

Definition of Surjectivity in set-theoretical definition of functions

Published on 25 Mar 2026 - 3:50

score 435 · Answer 12 · 2026-03-17 05:52:21

435

Views

Set theory without infinite sets

Published on 17 Mar 2026 - 5:52

score 632 · Answer 13 · 2026-03-25 05:48:44

632

Views

What does "logical basis" mean?

Published on 25 Mar 2026 - 5:48

score 269 · Answer 14 · 2026-03-25 05:41:27

269

Views

Bourbaki's definition of truth

Published on 25 Mar 2026 - 5:41

score 215 · Answer 15 · 2026-03-25 05:48:44

215

Views

Logic in maths foundation

Published on 25 Mar 2026 - 5:48

List Question

Difference between provability and truth of Goodstein's theorem

Can all unprovable statements in a given mathematical theory be determined with the addition of a finite number of new axioms?

Map = Tuple? Advantages and disadvantages

Why doesn't the independence of the continuum hypothesis immediately imply that ZFC is unsatisfactory?

Formally what is an unlabeled graph? I have no problem defining labeled graphs with set theory, but can't do the same here.

Defining first order logic quantifiers without sets

How to generalize the mechanism of subtraction, from naturals to negatives?

Mathematical ideas that took long to define rigorously

What elementary theorems depend on the Axiom of Infinity?

Proving in Quine's New Foundations

Definition of Surjectivity in set-theoretical definition of functions

Set theory without infinite sets

What does "logical basis" mean?

Bourbaki's definition of truth

Logic in maths foundation

Trending Questions

Popular # Hahtags

Popular Questions