Question

Are there modern books (or otherwise) with very strong opinions about the correct way of setting up mathematics?

score 81 · Answer 1 · 2013-05-12 08:05:16

81

Views

Are there modern books (or otherwise) with very strong opinions about the correct way of setting up mathematics?

Published on 12 May 2013 - 8:05

score 522 · Answer 2 · 2013-05-12 09:39:24

522

Views

Hao Wang's $\mathfrak S$ system/$\Sigma$ system: a "transfinite type" theory that avoids the Goedel's theorems.

Published on 12 May 2013 - 9:39

score 338 · Answer 3 · 2026-03-31 15:44:53

338

Views

Axiom of infinity exceptions?

Published on 31 Mar 2026 - 15:44

score 688 · Answer 4 · 2026-03-28 20:52:01

688

Views

Why demonstrations are important in mathematics?

Published on 28 Mar 2026 - 20:52

score 396 · Answer 5 · 2026-03-28 21:06:27

396

Views

There is concept of finite sets that can have only one "interpretation"?

Published on 28 Mar 2026 - 21:06

score 874 · Answer 6 · 2013-05-29 22:06:51

874

Views

The Language of the Set Theory (with ZF) and their ability to express all mathematics

Published on 29 May 2013 - 22:06

score 753 · Answer 7 · 2013-05-30 09:40:47

753

Views

Questions about the concept of Structure, Model and Formal Language

Published on 30 May 2013 - 9:40

score 593 · Answer 8 · 2026-03-31 22:49:44

593

Views

Decimal representation and Peano axioms

Published on 31 Mar 2026 - 22:49

score 382 · Answer 9 · 2026-03-31 17:19:20

382

Views

Where I can find the Pythagorean theorem deduced from Hilbert's axioms?

Published on 31 Mar 2026 - 17:19

score 645 · Answer 10 · 2026-03-27 17:52:57

645

Views

How is the standard model of number theory specified, and why can't we use that specification to prove any number theoretical sentence of interest?

Published on 27 Mar 2026 - 17:52

score 626 · Answer 11 · 2013-06-11 00:09:08

626

Views

What is meant by "function" in the axiom schema of replacement.

Published on 11 Jun 2013 - 0:09

score 2.8k · Answer 12 · 2013-06-25 15:24:02

2.8k

Views

How "Principia Mathematica" builds foundations

Published on 25 Jun 2013 - 15:24

score 2.8k · Answer 13 · 2013-06-28 09:08:28

2.8k

Views

Type theory as foundations

Published on 28 Jun 2013 - 9:08

score 1.1k · Answer 14 · 2013-06-29 07:31:45

1.1k

Views

Developing category theory inside ETCS

Published on 29 Jun 2013 - 7:31

score 177 · Answer 15 · 2013-07-01 12:39:24

177

Views

What are the set-theoretic foundations of classical calculus?

Published on 01 Jul 2013 - 12:39

List Question

Are there modern books (or otherwise) with very strong opinions about the correct way of setting up mathematics?

Hao Wang's $\mathfrak S$ system/$\Sigma$ system: a "transfinite type" theory that avoids the Goedel's theorems.

Axiom of infinity exceptions?

Why demonstrations are important in mathematics?

There is concept of finite sets that can have only one "interpretation"?

The Language of the Set Theory (with ZF) and their ability to express all mathematics

Questions about the concept of Structure, Model and Formal Language

Decimal representation and Peano axioms

Where I can find the Pythagorean theorem deduced from Hilbert's axioms?

How is the standard model of number theory specified, and why can't we use that specification to prove any number theoretical sentence of interest?

What is meant by "function" in the axiom schema of replacement.

How "Principia Mathematica" builds foundations

Type theory as foundations

Developing category theory inside ETCS

What are the set-theoretic foundations of classical calculus?

Trending Questions

Popular # Hahtags

Popular Questions