Question

Translating developments over different foundations

score 81 · Answer 1 · 2026-03-25 17:28:33

81

Views

Translating developments over different foundations

Published on 25 Mar 2026 - 17:28

score 274 · Answer 2 · 2026-03-30 08:58:31

274

Views

Prove that the incident axioms are independent

Published on 30 Mar 2026 - 8:58

score 170 · Answer 3 · 2026-02-23 22:31:40

170

Views

Can one prove non-trivial congruences of triangles without SAS or other congruence axioms?

Published on 23 Feb 2026 - 22:31

score 44 · Answer 4 · 2020-10-20 08:02:29

44

Views

Question about axiom schema of specification and notation

Published on 20 Oct 2020 - 8:02

score 21 · Answer 5 · 2020-10-20 22:34:45

21

Views

How Equivalent $T_1$ Separation Axiom Statements Relate

Published on 20 Oct 2020 - 22:34

score 726 · Answer 6 · 2020-10-21 10:24:11

726

Views

Prove that the subset of polynomial, which is a factor of p(x), is a subspace of P6

Published on 21 Oct 2020 - 10:24

score 128 · Answer 7 · 2020-10-23 20:12:44

128

Views

Is ζ={∅, ζ} a set according to "Axiom of Regularity"?

Published on 23 Oct 2020 - 20:12

score 39 · Answer 8 · 2020-10-23 20:23:49

39

Views

About the notation of Axiom of Regularity

Published on 23 Oct 2020 - 20:23

score 121 · Answer 9 · 2020-10-24 17:13:46

121

Views

Is Infinite descending sequence reverse of construction of Zermelo ordinals?

Published on 24 Oct 2020 - 17:13

score 62 · Answer 10 · 2020-10-25 12:26:56

62

Views

Hilbert's axioms - axioms of ordering. A model that does not satisfy the fourth ordering axiom.

Published on 25 Oct 2020 - 12:26

score 62 · Answer 11 · 2026-03-26 18:59:06

62

Views

Axioms and Definitions

Published on 26 Mar 2026 - 18:59

score 749 · Answer 12 · 2026-02-23 22:30:48

749

Views

Proving (via Hilbert's axioms) that, when two parallel lines are cut by a third line, they make congruent angles.

Published on 23 Feb 2026 - 22:30

score 126 · Answer 13 · 2020-10-29 17:08:53

126

Views

First order theories with open formulas as axioms

Published on 29 Oct 2020 - 17:08

score 758 · Answer 14 · 2020-11-07 21:33:47

758

Views

Axiomatization of physics

Published on 07 Nov 2020 - 21:33

score 194 · Answer 15 · 2020-11-07 23:56:24

194

Views

Does the Axiom of Substitution Have Limits?

Published on 07 Nov 2020 - 23:56

List Question

Translating developments over different foundations

Prove that the incident axioms are independent

Can one prove non-trivial congruences of triangles without SAS or other congruence axioms?

Question about axiom schema of specification and notation

How Equivalent $T_1$ Separation Axiom Statements Relate

Prove that the subset of polynomial, which is a factor of p(x), is a subspace of P6

Is ζ={∅, ζ} a set according to "Axiom of Regularity"?

About the notation of Axiom of Regularity

Is Infinite descending sequence reverse of construction of Zermelo ordinals?

Hilbert's axioms - axioms of ordering. A model that does not satisfy the fourth ordering axiom.

Axioms and Definitions

Proving (via Hilbert's axioms) that, when two parallel lines are cut by a third line, they make congruent angles.

First order theories with open formulas as axioms

Axiomatization of physics

Does the Axiom of Substitution Have Limits?

Trending Questions

Popular # Hahtags

Popular Questions