Question

How to prove ⊢ (B → ¬B) → ¬B using an informal deduction

score 194 · Answer 1 · 2026-02-23 02:55:28

194

Views

How to prove ⊢ (B → ¬B) → ¬B using an informal deduction

Published on 23 Feb 2026 - 2:55

score 697 · Answer 2 · 2019-10-07 11:52:29

697

Views

Rules of inference for set theory

Published on 07 Oct 2019 - 11:52

score 171 · Answer 3 · 2019-10-09 19:59:05

171

Views

Set Theory Proof-Check: Problem Involving Axiom Schema of Comprehension

Published on 09 Oct 2019 - 19:59

score 443 · Answer 4 · 2019-10-23 21:16:33

443

Views

What goes wrong if we explain Russell's paradox as resulting from an overly rigid link between property satisfaction and elementhood?

Published on 23 Oct 2019 - 21:16

score 82 · Answer 5 · 2019-10-27 04:20:03

82

Views

Supercharging the axiom schema of replacement in ZFC?

Published on 27 Oct 2019 - 4:20

score 66 · Answer 6 · 2019-10-27 13:50:16

66

Views

Merging the axiom of infinity into a 'supercharged' axiom of replacement in ZFC?

Published on 27 Oct 2019 - 13:50

score 124 · Answer 7 · 2026-03-25 16:45:41

124

Views

How can I prove this statement without using reduction to absurdity?

Published on 25 Mar 2026 - 16:45

score 552 · Answer 8 · 2019-11-04 17:54:15

552

Views

How to derive the axiom no. 15 from the Cantor's and Archimedean axiom?

Published on 04 Nov 2019 - 17:54

score 1.8k · Answer 9 · 2019-11-06 07:36:53

1.8k

Views

What is the difference between an axiom and a definition?

Published on 06 Nov 2019 - 7:36

score 208 · Answer 10 · 2019-11-10 09:24:41

208

Views

Is it possible to prove the inconsistency of an axiomatic system?

Published on 10 Nov 2019 - 9:24

score 296 · Answer 11 · 2026-03-25 14:27:22

296

Views

What alternatives are there to the generalized continuum hypothesis?

Published on 25 Mar 2026 - 14:27

score 149 · Answer 12 · 2026-03-24 23:54:57

149

Views

Developing model theory in the language of PA

Published on 24 Mar 2026 - 23:54

score 211 · Answer 13 · 2026-03-26 12:46:22

211

Views

If mathematics has contradictions, will the entire mathematics be destroyed?

Published on 26 Mar 2026 - 12:46

score 62 · Answer 14 · 2019-11-23 15:08:27

62

Views

Every set of non-collinear points consists of three non-collinear points.

Published on 23 Nov 2019 - 15:08

score 204 · Answer 15 · 2019-11-27 09:00:36

204

Views

Show that Goldbach’s Conjecture is true if and only if $N \not\vdash \neg Goldbach$.

Published on 27 Nov 2019 - 9:00

List Question

How to prove ⊢ (B → ¬B) → ¬B using an informal deduction

Rules of inference for set theory

Set Theory Proof-Check: Problem Involving Axiom Schema of Comprehension

What goes wrong if we explain Russell's paradox as resulting from an overly rigid link between property satisfaction and elementhood?

Supercharging the axiom schema of replacement in ZFC?

Merging the axiom of infinity into a 'supercharged' axiom of replacement in ZFC?

How can I prove this statement without using reduction to absurdity?

How to derive the axiom no. 15 from the Cantor's and Archimedean axiom?

What is the difference between an axiom and a definition?

Is it possible to prove the inconsistency of an axiomatic system?

What alternatives are there to the generalized continuum hypothesis?

Developing model theory in the language of PA

If mathematics has contradictions, will the entire mathematics be destroyed?

Every set of non-collinear points consists of three non-collinear points.

Show that Goldbach’s Conjecture is true if and only if $N \not\vdash \neg Goldbach$.

Trending Questions

Popular # Hahtags

Popular Questions