Question

Can we define every subset of an infinite set?

score 103 · Answer 1 · 2019-05-31 13:28:55

103

Views

Can we define every subset of an infinite set?

Published on 31 May 2019 - 13:28

score 505 · Answer 2 · 2019-06-12 05:00:35

505

Views

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

Published on 12 Jun 2019 - 5:00

score 51 · Answer 3 · 2019-06-13 06:38:47

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

score 156 · Answer 4 · 2019-06-13 20:19:23

156

Views

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

Published on 13 Jun 2019 - 20:19

score 1.7k · Answer 5 · 2019-06-20 05:37:38

1.7k

Views

How to construct natural numbers by set theory?

Published on 20 Jun 2019 - 5:37

score 110 · Answer 6 · 2019-06-20 15:12:59

110

Views

Foundations of analysis - Natural number addition operator proof/definition

Published on 20 Jun 2019 - 15:12

score 100 · Answer 7 · 2019-06-21 21:56:47

100

Views

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

Published on 21 Jun 2019 - 21:56

score 508 · Answer 8 · 2019-06-22 21:01:25

508

Views

What is the dependency hierarchy in foundational mathematics?

Published on 22 Jun 2019 - 21:01

score 188 · Answer 9 · 2019-06-23 03:52:01

188

Views

Do functions require set theory?

Published on 23 Jun 2019 - 3:52

score 895 · Answer 10 · 2019-06-23 05:44:17

895

Views

Rudin's definition of an ordered set

Published on 23 Jun 2019 - 5:44

score 113 · Answer 11 · 2019-06-30 01:15:11

113

Views

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

Published on 30 Jun 2019 - 1:15

score 652 · Answer 12 · 2019-07-03 21:08:21

652

Views

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

Published on 03 Jul 2019 - 21:08

score 92 · Answer 13 · 2026-02-23 01:18:56

92

Views

Simplest set of replacement rules which can include mathematical logic?

Published on 23 Feb 2026 - 1:18

score 162 · Answer 14 · 2019-07-09 17:05:35

162

Views

how to construct the addition function in terms of sets

Published on 09 Jul 2019 - 17:05

score 394 · Answer 15 · 2019-07-10 21:13:09

394

Views

Founding mathematics from a set of axioms.

Published on 10 Jul 2019 - 21:13

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