Question

Can we define every subset of an infinite set?

score 106 · Answer 1 · 2026-04-11 23:25:43

106

Views

Can we define every subset of an infinite set?

Published on 11 Apr 2026 - 23:25

score 508 · Answer 2 · 2026-04-10 23:58:37

508

Views

Ideal treatment of set theory as a meta theory for developing first-order logic

Published on 10 Apr 2026 - 23:58

score 54 · Answer 3 · 2026-04-14 13:35:15

To define a set theory in the framework of axiomatic euclidean geometry? I do not of course mean the whole ZFC...

score 159 · Answer 4 · 2026-04-13 03:09:16

159

Views

In a topos with a NNO, how does one define the subobject "$<$'' of $\mathbf N\times\mathbf N$?

Published on 13 Apr 2026 - 3:09

score 1.7k · Answer 5 · 2026-04-08 17:53:29

1.7k

Views

How to construct natural numbers by set theory?

Published on 08 Apr 2026 - 17:53

score 113 · Answer 6 · 2026-04-09 11:00:22

113

Views

Foundations of analysis - Natural number addition operator proof/definition

Published on 09 Apr 2026 - 11:00

score 103 · Answer 7 · 2026-04-14 00:20:13

103

Views

In Bernays or von Neumann set theory axioms, what allows taking intersection of sets?

Published on 14 Apr 2026 - 0:20

score 511 · Answer 8 · 2026-04-10 18:56:39

511

Views

What is the dependency hierarchy in foundational mathematics?

Published on 10 Apr 2026 - 18:56

score 191 · Answer 9 · 2026-04-09 04:36:16

191

Views

Do functions require set theory?

Published on 09 Apr 2026 - 4:36

score 898 · Answer 10 · 2026-04-13 10:54:49

898

Views

Rudin's definition of an ordered set

Published on 13 Apr 2026 - 10:54

score 115 · Answer 11 · 2026-04-14 21:00:27

115

Views

Why is $ℤ$ defined as $ℤ := ℕ×ℕ \text{ / ~} $, where $ \text{~} := \{ [ (a,b),(c,d) ] | a+d = b+c \} $

Published on 14 Apr 2026 - 21:00

score 655 · Answer 12 · 2026-04-11 13:22:45

655

Views

Is calculus of inductive constructions more powerful than calculus of constructions?

Published on 11 Apr 2026 - 13:22

score 98 · Answer 13 · 2026-04-17 08:29:58

98

Views

Simplest set of replacement rules which can include mathematical logic?

Published on 17 Apr 2026 - 8:29

score 165 · Answer 14 · 2026-04-10 00:14:20

165

Views

how to construct the addition function in terms of sets

Published on 10 Apr 2026 - 0:14

score 397 · Answer 15 · 2026-04-15 19:09:26

397

Views

Founding mathematics from a set of axioms.

Published on 15 Apr 2026 - 19:09

List Question

Can we define every subset of an infinite set?

Ideal treatment of set theory as a meta theory for developing first-order logic

To define a set theory in the framework of axiomatic euclidean geometry? I do not of course mean the whole ZFC...

In a topos with a NNO, how does one define the subobject "$<$'' of $\mathbf N\times\mathbf N$?

How to construct natural numbers by set theory?

Foundations of analysis - Natural number addition operator proof/definition

In Bernays or von Neumann set theory axioms, what allows taking intersection of sets?

What is the dependency hierarchy in foundational mathematics?

Do functions require set theory?

Rudin's definition of an ordered set

Why is $ℤ$ defined as $ℤ := ℕ×ℕ \text{ / ~} $, where $ \text{~} := \{ [ (a,b),(c,d) ] | a+d = b+c \} $

Is calculus of inductive constructions more powerful than calculus of constructions?

Simplest set of replacement rules which can include mathematical logic?

how to construct the addition function in terms of sets

Founding mathematics from a set of axioms.

Trending Questions

Popular # Hahtags

Popular Questions