Question

Principia Mathematica, chapter *117: a false proposition?

score 233 · Answer 1 · 2026-04-29 12:51:58

233

Views

Principia Mathematica, chapter *117: a false proposition?

Published on 29 Apr 2026 - 12:51

score 221 · Answer 2 · 2026-04-09 02:48:40

221

Views

Is every model of MK (Morse-Kelley-Set-Theory) well-founded?

Published on 09 Apr 2026 - 2:48

score 106 · Answer 3 · 2026-04-11 06:32:12

106

Views

Are there mathematical premises that don't hold true whithin other mathematical systems/ways of thinking?

Published on 11 Apr 2026 - 6:32

score 94 · Answer 4 · 2026-04-29 12:52:24

94

Views

Prospects of teaching/learning elementary math with computed-checked type theory

Published on 29 Apr 2026 - 12:52

score 80 · Answer 5 · 2026-05-10 13:51:40

80

Views

Questions in proof theory (PRA-provability of an EA-axiom, Girards Book from '87)

Published on 10 May 2026 - 13:51

score 88 · Answer 6 · 2026-05-10 15:14:13

88

Views

Questions in proof theory (Definition of an interpretation of one theory in another, Girards Book from '87)

Published on 10 May 2026 - 15:14

score 481 · Answer 7 · 2026-04-08 23:17:48

481

Views

Without foundation: Not transitive model of ZFC?

Published on 08 Apr 2026 - 23:17

score 230 · Answer 8 · 2026-04-29 12:52:15

230

Views

How badly does foundation fail in NF(etc.)?

Published on 29 Apr 2026 - 12:52

score 170 · Answer 9 · 2026-04-15 12:59:12

170

Views

Alternative axioms for NBG or MK

Published on 15 Apr 2026 - 12:59

score 86 · Answer 10 · 2026-05-10 13:50:10

86

Views

Questions in proof theory (PRA-provability of EA-theorems, Girards book from '87)

Published on 10 May 2026 - 13:50

score 447 · Answer 11 · 2026-03-25 18:31:21

447

Views

The relation $T$ on $\mathbb{R}\times \mathbb{R}$ given by $(x,y)T(a,b)$ iff $x^2+y^2=a^2+b^2$. Sketch the equivalence class of $(1,2)$; of $(4,0)$.

Published on 25 Mar 2026 - 18:31

score 138 · Answer 12 · 2026-05-10 17:18:08

138

Views

Why the 'natural' consistency proof of PA cannot be carried out $\textbf{in}$ PA

Published on 10 May 2026 - 17:18

score 52 · Answer 13 · 2026-04-16 01:17:04

52

Views

The length of the sequence concatenated two sequences

Published on 16 Apr 2026 - 1:17

score 218 · Answer 14 · 2026-04-12 17:04:24

218

Views

What is the difference between the logical formula $\alpha$ and expression "$\alpha$ is true"?

Published on 12 Apr 2026 - 17:04

score 41 · Answer 15 · 2026-04-10 18:53:26

41

Views

Sequence of Number System Construction

Published on 10 Apr 2026 - 18:53

List Question

Principia Mathematica, chapter *117: a false proposition?

Is every model of MK (Morse-Kelley-Set-Theory) well-founded?

Are there mathematical premises that don't hold true whithin other mathematical systems/ways of thinking?

Prospects of teaching/learning elementary math with computed-checked type theory

Questions in proof theory (PRA-provability of an EA-axiom, Girards Book from '87)

Questions in proof theory (Definition of an interpretation of one theory in another, Girards Book from '87)

Without foundation: Not transitive model of ZFC?

How badly does foundation fail in NF(etc.)?

Alternative axioms for NBG or MK

Questions in proof theory (PRA-provability of EA-theorems, Girards book from '87)

The relation $T$ on $\mathbb{R}\times \mathbb{R}$ given by $(x,y)T(a,b)$ iff $x^2+y^2=a^2+b^2$. Sketch the equivalence class of $(1,2)$; of $(4,0)$.

Why the 'natural' consistency proof of PA cannot be carried out $\textbf{in}$ PA

The length of the sequence concatenated two sequences

What is the difference between the logical formula $\alpha$ and expression "$\alpha$ is true"?

Sequence of Number System Construction

Trending Questions

Popular # Hahtags

Popular Questions