Question

What is a formula $\phi$ which satisfies $\vdash \phi$ called?

score 166 · Answer 1 · 2020-09-13 23:19:32

166

Views

What is a formula $\phi$ which satisfies $\vdash \phi$ called?

Published on 13 Sep 2020 - 23:19

score 46 · Answer 2 · 2020-09-17 13:05:47

46

Views

Collection of all ordered pairs with fixed first coordinate is a proper class

Published on 17 Sep 2020 - 13:05

score 247 · Answer 3 · 2026-03-30 05:28:37

247

Views

For any numbers $a, b,$ and $c,$ $a + b = a + c$ if and only if $b = c$

Published on 30 Mar 2026 - 5:28

score 123 · Answer 4 · 2020-09-23 08:10:23

123

Views

What was proved using Tarski's axioms?

Published on 23 Sep 2020 - 8:10

score 53 · Answer 5 · 2020-09-26 01:24:31

53

Views

About proving the logical syntactic axiom 3's reverse by using, (deducing from), axiom1 and 2.

Published on 26 Sep 2020 - 1:24

score 89 · Answer 6 · 2020-09-27 17:18:10

89

Views

Tarski axioms of real numbers

Published on 27 Sep 2020 - 17:18

score 53 · Answer 7 · 2020-09-28 13:18:37

53

Views

Solve only by using the axioms of probability.

Published on 28 Sep 2020 - 13:18

score 127 · Answer 8 · 2026-03-26 11:04:23

127

Views

Open questions in formalization of quantum theory

Published on 26 Mar 2026 - 11:04

score 66 · Answer 9 · 2026-02-23 10:19:33

66

Views

Are my instantiations of Axiom 5 (Mendelson) correct?

Published on 23 Feb 2026 - 10:19

score 126 · Answer 10 · 2020-09-30 08:34:52

126

Views

Does a negative vector imply scalar multiplication?

Published on 30 Sep 2020 - 8:34

score 53 · Answer 11 · 2020-10-01 01:20:12

53

Views

Is every buildable set that exists, by Extensionality, unique in ZF Set Theory?

Published on 01 Oct 2020 - 1:20

score 180 · Answer 12 · 2020-10-01 18:29:13

180

Views

Proving $\text{ZFC}$ to be Consistent and Independence Proofs

Published on 01 Oct 2020 - 18:29

score 262 · Answer 13 · 2020-10-08 12:52:12

262

Views

Is it possible that "hard mathematical problems" would be easier in some other axiom systems?

Published on 08 Oct 2020 - 12:52

score 70 · Answer 14 · 2026-02-23 10:14:22

70

Views

Axiomatic Schema Substitution

Published on 23 Feb 2026 - 10:14

score 37 · Answer 15 · 2020-10-14 21:49:56

37

Views

Proving multiplication property: Is my argument valid?

Published on 14 Oct 2020 - 21:49

List Question

What is a formula $\phi$ which satisfies $\vdash \phi$ called?

Collection of all ordered pairs with fixed first coordinate is a proper class

For any numbers $a, b,$ and $c,$ $a + b = a + c$ if and only if $b = c$

What was proved using Tarski's axioms?

About proving the logical syntactic axiom 3's reverse by using, (deducing from), axiom1 and 2.

Tarski axioms of real numbers

Solve only by using the axioms of probability.

Open questions in formalization of quantum theory

Are my instantiations of Axiom 5 (Mendelson) correct?

Does a negative vector imply scalar multiplication?

Is every buildable set that exists, by Extensionality, unique in ZF Set Theory?

Proving $\text{ZFC}$ to be Consistent and Independence Proofs

Is it possible that "hard mathematical problems" would be easier in some other axiom systems?

Axiomatic Schema Substitution

Proving multiplication property: Is my argument valid?

Trending Questions

Popular # Hahtags

Popular Questions