Question

A question about axioms and logical implication

score 126 · Answer 1 · 2019-06-18 22:56:08

126

Views

A question about axioms and logical implication

Published on 18 Jun 2019 - 22:56

score 482 · Answer 2 · 2019-06-20 12:56:29

482

Views

Did Proclus (and others) realize Euclid's postulate is equivalent to Proclus/Playfair's axiom?

Published on 20 Jun 2019 - 12:56

score 164 · Answer 3 · 2026-03-26 02:56:01

164

Views

I am confused about how we should state the Peano axioms

Published on 26 Mar 2026 - 2:56

score 355 · Answer 4 · 2019-06-28 12:53:29

355

Views

Using the field axioms of real numbers, prove that $y=\frac{1}{x}$ if $xy = 1$ and $x ≠ 0$.

Published on 28 Jun 2019 - 12:53

score 70 · Answer 5 · 2019-06-28 13:31:16

70

Views

Can we create all subsets of all sets?

Published on 28 Jun 2019 - 13:31

score 235 · Answer 6 · 2026-03-22 23:46:54

235

Views

What language are axioms expressed in?

Published on 22 Mar 2026 - 23:46

score 99 · Answer 7 · 2019-07-03 01:08:50

99

Views

Is there a mathematical notation for applying an axiom using substitution?

Published on 03 Jul 2019 - 1:08

score 287 · Answer 8 · 2026-03-25 09:24:31

287

Views

Are there any disasters with Projective Determinacy?

Published on 25 Mar 2026 - 9:24

score 248 · Answer 9 · 2019-07-07 13:16:20

248

Views

ZFC and axiom of power set

Published on 07 Jul 2019 - 13:16

score 344 · Answer 10 · 2019-07-13 15:30:59

344

Views

The proof of theorem of Mathematical Induction.

Published on 13 Jul 2019 - 15:30

score 3.9k · Answer 11 · 2026-03-25 12:48:56

3.9k

Views

What do mathematicians mean when they say some conjecture can’t be proven using the current technology?

Published on 25 Mar 2026 - 12:48

score 176 · Answer 12 · 2026-03-25 09:02:29

176

Views

Resource Metalogic: Proving that a theorem can (not) be deduced from given axioms in a certain number of steps

Published on 25 Mar 2026 - 9:02

score 49 · Answer 13 · 2019-07-22 02:56:32

49

Views

Proof that for all Real Numbers $a \in \mathbb R$, $0 \leq a^2$ using certain Axioms

Published on 22 Jul 2019 - 2:56

score 295 · Answer 14 · 2019-07-22 03:47:02

295

Views

Proving that $-|a| \leq a \leq |a|$ for all $a \in \mathbb R$

Published on 22 Jul 2019 - 3:47

score 83 · Answer 15 · 2019-07-22 04:46:42

83

Views

Proof that $a = |a| \Rightarrow 0 \leq a$

Published on 22 Jul 2019 - 4:46

List Question

A question about axioms and logical implication

Did Proclus (and others) realize Euclid's postulate is equivalent to Proclus/Playfair's axiom?

I am confused about how we should state the Peano axioms

Using the field axioms of real numbers, prove that $y=\frac{1}{x}$ if $xy = 1$ and $x ≠ 0$.

Can we create all subsets of all sets?

What language are axioms expressed in?

Is there a mathematical notation for applying an axiom using substitution?

Are there any disasters with Projective Determinacy?

ZFC and axiom of power set

The proof of theorem of Mathematical Induction.

What do mathematicians mean when they say some conjecture can’t be proven using the current technology?

Resource Metalogic: Proving that a theorem can (not) be deduced from given axioms in a certain number of steps

Proof that for all Real Numbers $a \in \mathbb R$, $0 \leq a^2$ using certain Axioms

Proving that $-|a| \leq a \leq |a|$ for all $a \in \mathbb R$

Proof that $a = |a| \Rightarrow 0 \leq a$

Trending Questions

Popular # Hahtags

Popular Questions