Question

Axiom of countable choice: a question about the domain.

score 55 · Answer 1 · 2019-03-30 21:59:52

55

Views

Axiom of countable choice: a question about the domain.

Published on 30 Mar 2019 - 21:59

score 55 · Answer 2 · 2019-04-02 09:07:13

55

Views

Were there any results that were true in old axioms, but are false in modern axioms, and are not obvious paradoxes?

Published on 02 Apr 2019 - 9:07

score 62 · Answer 3 · 2026-03-25 06:21:03

62

Views

Show that the tree $T$ exists by $\Sigma_0^0$ comprehension

Published on 25 Mar 2026 - 6:21

score 212 · Answer 4 · 2019-04-06 16:30:38

212

Views

Axiomatize inner product spaces in terms of angles?

Published on 06 Apr 2019 - 16:30

score 169 · Answer 5 · 2019-04-08 10:38:05

169

Views

If something is provable in ZFC, can ZFC prove that ZFC proves it?

Published on 08 Apr 2019 - 10:38

score 3k · Answer 6 · 2019-04-08 13:00:41

3k

Views

Was there ever an axiom rendered a theorem?

Published on 08 Apr 2019 - 13:00

score 483 · Answer 7 · 2026-03-25 06:17:52

483

Views

How are sets defined in reverse mathematics?

Published on 25 Mar 2026 - 6:17

score 201 · Answer 8 · 2019-04-10 06:55:05

201

Views

Does the output of a total function need to be unique against the input?

Published on 10 Apr 2019 - 6:55

score 156 · Answer 9 · 2026-02-23 12:04:31

156

Views

Is there a formalization of the link between geometry and analytical geometry?

Published on 23 Feb 2026 - 12:04

score 145 · Answer 10 · 2026-03-25 21:54:10

145

Views

Name of the basic property of equalities that if a=b then f(a)=f(b).

Published on 25 Mar 2026 - 21:54

score 135 · Answer 11 · 2019-04-16 10:52:33

135

Views

Is it possible that $\mathcal{X} = \mathcal{Y}$, yet $\mathcal{X} \in \mathcal{Y}$?

Published on 16 Apr 2019 - 10:52

score 641 · Answer 12 · 2026-03-26 01:12:38

641

Views

In Peano's Axioms are the uniqueness of the successor and $x^{\prime}=y^{\prime}\implies{x=y}$ redundant?

Published on 26 Mar 2026 - 1:12

score 665 · Answer 13 · 2019-04-24 15:42:04

665

Views

Does the set of sets which are elements of every set exist?

Published on 24 Apr 2019 - 15:42

score 90 · Answer 14 · 2019-04-24 17:57:12

90

Views

Is there a meaningful analogy between axiomatic systems and vector spaces?

Published on 24 Apr 2019 - 17:57

score 89 · Answer 15 · 2019-04-27 07:38:34

89

Views

The minimum number of independent axioms of a theory?

Published on 27 Apr 2019 - 7:38

List Question

Axiom of countable choice: a question about the domain.

Were there any results that were true in old axioms, but are false in modern axioms, and are not obvious paradoxes?

Show that the tree $T$ exists by $\Sigma_0^0$ comprehension

Axiomatize inner product spaces in terms of angles?

If something is provable in ZFC, can ZFC prove that ZFC proves it?

Was there ever an axiom rendered a theorem?

How are sets defined in reverse mathematics?

Does the output of a total function need to be unique against the input?

Is there a formalization of the link between geometry and analytical geometry?

Name of the basic property of equalities that if a=b then f(a)=f(b).

Is it possible that $\mathcal{X} = \mathcal{Y}$, yet $\mathcal{X} \in \mathcal{Y}$?

In Peano's Axioms are the uniqueness of the successor and $x^{\prime}=y^{\prime}\implies{x=y}$ redundant?

Does the set of sets which are elements of every set exist?

Is there a meaningful analogy between axiomatic systems and vector spaces?

The minimum number of independent axioms of a theory?

Trending Questions

Popular # Hahtags

Popular Questions