Question

In $\mathsf{ReS}$, prove that if $x$ admits a double well-ordering, then $x$ is in bijection with some member in $\omega$

score 117 · Answer 1 · 2020-05-14 07:17:55

117

Views

In $\mathsf{ReS}$, prove that if $x$ admits a double well-ordering, then $x$ is in bijection with some member in $\omega$

Published on 14 May 2020 - 7:17

score 89 · Answer 2 · 2020-05-15 17:40:49

89

Views

Is multiplication of denominators in fractions a consequence of the associativity law of multiplication?

Published on 15 May 2020 - 17:40

score 78 · Answer 3 · 2020-05-16 11:13:31

78

Views

If $P(A)$ is a set, $A$ is a set?

Published on 16 May 2020 - 11:13

score 66 · Answer 4 · 2026-03-26 14:25:09

66

Views

Has anyone ever proposed a relational mathematical universe?

Published on 26 Mar 2026 - 14:25

score 648 · Answer 5 · 2020-05-16 19:54:17

648

Views

Why does multiplication always have the associative and commutative property?

Published on 16 May 2020 - 19:54

score 216 · Answer 6 · 2020-05-19 21:03:05

216

Views

Why do we even need axiom schema?

Published on 19 May 2020 - 21:03

score 222 · Answer 7 · 2026-03-26 16:09:49

222

Views

Extending the Axioms of Set Theory, and the Continuum Hypothesis

Published on 26 Mar 2026 - 16:09

score 441 · Answer 8 · 2026-03-26 11:06:56

441

Views

Could we ever hope to integrate all functions?

Published on 26 Mar 2026 - 11:06

score 203 · Answer 9 · 2026-03-25 06:01:20

203

Views

Meta-logic of Hilbert-style propositional calculus

Published on 25 Mar 2026 - 6:01

score 164 · Answer 10 · 2026-02-23 04:55:12

164

Views

Transforming Hilbert-style Axiom Systems for Classical Propositional Logic and Retaining Soundness and Completeness

Published on 23 Feb 2026 - 4:55

score 109 · Answer 11 · 2026-03-25 06:08:29

109

Views

Are Real Numbers a Formal System?

Published on 25 Mar 2026 - 6:08

score 1k · Answer 12 · 2026-03-26 17:37:34

1k

Views

I am losing my motivation to study math, what should I do? (philosophy of axioms and formal math)

Published on 26 Mar 2026 - 17:37

score 145 · Answer 13 · 2020-06-02 22:58:04

145

Views

Theory of the von Neumann hierarchy

Published on 02 Jun 2020 - 22:58

score 65 · Answer 14 · 2026-03-25 17:42:22

65

Views

If a set theory allowed the existence of $x\cup y$, would that imply the existence of $\cup S$?

Published on 25 Mar 2026 - 17:42

score 84 · Answer 15 · 2020-06-08 02:07:40

84

Views

Are abstract definitions in math still subject to our understanding of concrete objects? To what extent?

Published on 08 Jun 2020 - 2:07

List Question

In $\mathsf{ReS}$, prove that if $x$ admits a double well-ordering, then $x$ is in bijection with some member in $\omega$

Is multiplication of denominators in fractions a consequence of the associativity law of multiplication?

If $P(A)$ is a set, $A$ is a set?

Has anyone ever proposed a relational mathematical universe?

Why does multiplication always have the associative and commutative property?

Why do we even need axiom schema?

Extending the Axioms of Set Theory, and the Continuum Hypothesis

Could we ever hope to integrate all functions?

Meta-logic of Hilbert-style propositional calculus

Transforming Hilbert-style Axiom Systems for Classical Propositional Logic and Retaining Soundness and Completeness

Are Real Numbers a Formal System?

I am losing my motivation to study math, what should I do? (philosophy of axioms and formal math)

Theory of the von Neumann hierarchy

If a set theory allowed the existence of $x\cup y$, would that imply the existence of $\cup S$?

Are abstract definitions in math still subject to our understanding of concrete objects? To what extent?

Trending Questions

Popular # Hahtags

Popular Questions