Question

Should axioms be seen as "building blocks of definitions"?

score 362 · Answer 1 · 2026-03-19 19:34:56

362

Views

Should axioms be seen as "building blocks of definitions"?

Published on 19 Mar 2026 - 19:34

score 107 · Answer 2 · 2026-03-23 00:17:01

107

Views

Maximum possible reputation? (NOT a meta question)

Published on 23 Mar 2026 - 0:17

score 182 · Answer 3 · 2026-03-20 13:42:52

182

Views

Exotic schemes of implications, examples

Published on 20 Mar 2026 - 13:42

score 138 · Answer 4 · 2026-03-22 23:37:29

138

Views

Is the style of _Scott 1967_ outdated in discussing continuum hypothesis in a probability space?

Published on 22 Mar 2026 - 23:37

score 139 · Answer 5 · 2026-03-24 15:02:28

139

Views

Is there a weak set theory that can prove that the natural numbers is a model of PA?

Published on 24 Mar 2026 - 15:02

score 38 · Answer 6 · 2026-03-22 12:03:39

38

Views

How quickly can EFA define things, asymptotically?

Published on 22 Mar 2026 - 12:03

score 31 · Answer 7 · 2026-03-22 17:06:50

31

Views

Where to put the dot at the end of a sentence when using cases-figure?

Published on 22 Mar 2026 - 17:06

score 66 · Answer 8 · 2026-03-20 10:44:44

66

Views

Set theory that proves that if its consistient, is only proves true things about arithmetic

Published on 20 Mar 2026 - 10:44

score 66 · Answer 9 · 2026-03-22 14:31:38

66

Views

Do models (in logic) contain elements?

Published on 22 Mar 2026 - 14:31

score 121 · Answer 10 · 2026-03-22 19:13:20

121

Views

Does specifying which variables depend on which other variables strengthen arithmetic?

Published on 22 Mar 2026 - 19:13

score 279 · Answer 11 · 2026-03-23 04:39:14

279

Views

What does it means for a metatheory to be finitary?

Published on 23 Mar 2026 - 4:39

score 245 · Answer 12 · 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 5.9k · Answer 13 · 2026-03-25 04:42:32

5.9k

Views

What exactly is an equation?

Published on 25 Mar 2026 - 4:42

score 14.4k · Answer 14 · 2026-03-24 23:43:05

14.4k

Views

Is mathematics just a bunch of nested empty sets?

Published on 24 Mar 2026 - 23:43

score 112 · Answer 15 · 2026-03-24 12:47:04

112

Views

Misleading formulation in "which area is greater?" question

Published on 24 Mar 2026 - 12:47

List Question

Should axioms be seen as "building blocks of definitions"?

Maximum possible reputation? (NOT a meta question)

Exotic schemes of implications, examples

Is the style of _Scott 1967_ outdated in discussing continuum hypothesis in a probability space?

Is there a weak set theory that can prove that the natural numbers is a model of PA?

How quickly can EFA define things, asymptotically?

Where to put the dot at the end of a sentence when using cases-figure?

Set theory that proves that if its consistient, is only proves true things about arithmetic

Do models (in logic) contain elements?

Does specifying which variables depend on which other variables strengthen arithmetic?

What does it means for a metatheory to be finitary?

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

What exactly is an equation?

Is mathematics just a bunch of nested empty sets?

Misleading formulation in "which area is greater?" question

Trending Questions

Popular # Hahtags

Popular Questions