Can I make a set containing the empty set using the ZFC axioms [closed]Axioms of set theory and logicA question regarding the axioms of Separation and Replacement in ZFCIs $varnothing $ an empty set?The Matrix in ZFC: A Set-Theoretic Foundation of Matrices?Which areas of modern mathematics don't use ZFC set theory?Are “formulas” in Axioms of ZFC indefinite?Using ZFC axioms, prove that the set $ emptyset $ exists.How should we define set on ZFC?Can Peano's Axioms be derived from ZFC without AOI?Set Existence Within ZFC
Doesn't the system of the Supreme Court oppose justice?
How to get directions in deep space?
How to make money from a browser who sees 5 seconds into the future of any web page?
Can I say "fingers" when referring to toes?
Giving feedback to someone without sounding prejudiced
Which Article Helped Get Rid of Technobabble in RPGs?
Does the Linux kernel need a file system to run?
What kind of floor tile is this?
How could a planet have erratic days?
How to explain what's wrong with this application of the chain rule?
Has the laser at Magurele, Romania reached a tenth of the Sun's power?
Why should universal income be universal?
C++ check if statement can be evaluated constexpr
What is the difference between lands and mana?
The Digit Triangles
Why does the Sun have different day lengths, but not the gas giants?
Review your own paper in Mathematics
What (the heck) is a Super Worm Equinox Moon?
Why do ¬, ∀ and ∃ have the same precedence?
Short story about a deaf man, who cuts people tongues
Is this part of the description of the Archfey warlock's Misty Escape feature redundant?
A variation to the phrase "hanging over my shoulders"
What is the highest possible scrabble score for placing a single tile
Why is the Sun approximated as a black body at ~ 5800 K?
Can I make a set containing the empty set using the ZFC axioms [closed]
Axioms of set theory and logicA question regarding the axioms of Separation and Replacement in ZFCIs $varnothing $ an empty set?The Matrix in ZFC: A Set-Theoretic Foundation of Matrices?Which areas of modern mathematics don't use ZFC set theory?Are “formulas” in Axioms of ZFC indefinite?Using ZFC axioms, prove that the set $ emptyset $ exists.How should we define set on ZFC?Can Peano's Axioms be derived from ZFC without AOI?Set Existence Within ZFC
$begingroup$
$A = 1$. Can the set $2, 3, varnothing$ be constructed from $A$ using ZFC? If not, explain why. If so, show the construction through the axioms.
elementary-set-theory
$endgroup$
closed as off-topic by Greg Martin, Noah Schweber, Vinyl_cape_jawa, José Carlos Santos, Cesareo Mar 15 at 0:20
This question appears to be off-topic. The users who voted to close gave this specific reason:
- "This question is missing context or other details: Please provide additional context, which ideally explains why the question is relevant to you and our community. Some forms of context include: background and motivation, relevant definitions, source, possible strategies, your current progress, why the question is interesting or important, etc." – Greg Martin, Noah Schweber, Vinyl_cape_jawa, José Carlos Santos, Cesareo
add a comment |
$begingroup$
$A = 1$. Can the set $2, 3, varnothing$ be constructed from $A$ using ZFC? If not, explain why. If so, show the construction through the axioms.
elementary-set-theory
$endgroup$
closed as off-topic by Greg Martin, Noah Schweber, Vinyl_cape_jawa, José Carlos Santos, Cesareo Mar 15 at 0:20
This question appears to be off-topic. The users who voted to close gave this specific reason:
- "This question is missing context or other details: Please provide additional context, which ideally explains why the question is relevant to you and our community. Some forms of context include: background and motivation, relevant definitions, source, possible strategies, your current progress, why the question is interesting or important, etc." – Greg Martin, Noah Schweber, Vinyl_cape_jawa, José Carlos Santos, Cesareo
4
$begingroup$
What are your thoughts? What have you tried? Where are you stuck? You need to provide context for your question. Right now, it just looks like you want somebody to do your homework for you; that's not what this site is for. If you add some appropriate context, we will be happy to help.
$endgroup$
– Greg Martin
Mar 14 at 17:37
$begingroup$
Can you do any of it? Can you make $2?$
$endgroup$
– Ross Millikan
Mar 14 at 17:50
$begingroup$
I can do it up until the part with the empty set so I'm contemplating between 2 answers and I want to know which part is correct. Either; I can make the set and use replacement to create ∅ from set A at which point I know how to use the axioms to make the rest of the set. Or its impossible to use replacement to get the empty set at which point I don't believe I can construct the set
$endgroup$
– user652437
Mar 14 at 18:02
$begingroup$
What is the definition of $1$, $2$ and $3$? Where does this question come from?
$endgroup$
– Somos
Mar 14 at 19:12
add a comment |
$begingroup$
$A = 1$. Can the set $2, 3, varnothing$ be constructed from $A$ using ZFC? If not, explain why. If so, show the construction through the axioms.
elementary-set-theory
$endgroup$
$A = 1$. Can the set $2, 3, varnothing$ be constructed from $A$ using ZFC? If not, explain why. If so, show the construction through the axioms.
elementary-set-theory
elementary-set-theory
edited Mar 14 at 17:58
Asaf Karagila♦
306k33438769
306k33438769
asked Mar 14 at 17:32
user652437user652437
11
11
closed as off-topic by Greg Martin, Noah Schweber, Vinyl_cape_jawa, José Carlos Santos, Cesareo Mar 15 at 0:20
This question appears to be off-topic. The users who voted to close gave this specific reason:
- "This question is missing context or other details: Please provide additional context, which ideally explains why the question is relevant to you and our community. Some forms of context include: background and motivation, relevant definitions, source, possible strategies, your current progress, why the question is interesting or important, etc." – Greg Martin, Noah Schweber, Vinyl_cape_jawa, José Carlos Santos, Cesareo
closed as off-topic by Greg Martin, Noah Schweber, Vinyl_cape_jawa, José Carlos Santos, Cesareo Mar 15 at 0:20
This question appears to be off-topic. The users who voted to close gave this specific reason:
- "This question is missing context or other details: Please provide additional context, which ideally explains why the question is relevant to you and our community. Some forms of context include: background and motivation, relevant definitions, source, possible strategies, your current progress, why the question is interesting or important, etc." – Greg Martin, Noah Schweber, Vinyl_cape_jawa, José Carlos Santos, Cesareo
4
$begingroup$
What are your thoughts? What have you tried? Where are you stuck? You need to provide context for your question. Right now, it just looks like you want somebody to do your homework for you; that's not what this site is for. If you add some appropriate context, we will be happy to help.
$endgroup$
– Greg Martin
Mar 14 at 17:37
$begingroup$
Can you do any of it? Can you make $2?$
$endgroup$
– Ross Millikan
Mar 14 at 17:50
$begingroup$
I can do it up until the part with the empty set so I'm contemplating between 2 answers and I want to know which part is correct. Either; I can make the set and use replacement to create ∅ from set A at which point I know how to use the axioms to make the rest of the set. Or its impossible to use replacement to get the empty set at which point I don't believe I can construct the set
$endgroup$
– user652437
Mar 14 at 18:02
$begingroup$
What is the definition of $1$, $2$ and $3$? Where does this question come from?
$endgroup$
– Somos
Mar 14 at 19:12
add a comment |
4
$begingroup$
What are your thoughts? What have you tried? Where are you stuck? You need to provide context for your question. Right now, it just looks like you want somebody to do your homework for you; that's not what this site is for. If you add some appropriate context, we will be happy to help.
$endgroup$
– Greg Martin
Mar 14 at 17:37
$begingroup$
Can you do any of it? Can you make $2?$
$endgroup$
– Ross Millikan
Mar 14 at 17:50
$begingroup$
I can do it up until the part with the empty set so I'm contemplating between 2 answers and I want to know which part is correct. Either; I can make the set and use replacement to create ∅ from set A at which point I know how to use the axioms to make the rest of the set. Or its impossible to use replacement to get the empty set at which point I don't believe I can construct the set
$endgroup$
– user652437
Mar 14 at 18:02
$begingroup$
What is the definition of $1$, $2$ and $3$? Where does this question come from?
$endgroup$
– Somos
Mar 14 at 19:12
4
4
$begingroup$
What are your thoughts? What have you tried? Where are you stuck? You need to provide context for your question. Right now, it just looks like you want somebody to do your homework for you; that's not what this site is for. If you add some appropriate context, we will be happy to help.
$endgroup$
– Greg Martin
Mar 14 at 17:37
$begingroup$
What are your thoughts? What have you tried? Where are you stuck? You need to provide context for your question. Right now, it just looks like you want somebody to do your homework for you; that's not what this site is for. If you add some appropriate context, we will be happy to help.
$endgroup$
– Greg Martin
Mar 14 at 17:37
$begingroup$
Can you do any of it? Can you make $2?$
$endgroup$
– Ross Millikan
Mar 14 at 17:50
$begingroup$
Can you do any of it? Can you make $2?$
$endgroup$
– Ross Millikan
Mar 14 at 17:50
$begingroup$
I can do it up until the part with the empty set so I'm contemplating between 2 answers and I want to know which part is correct. Either; I can make the set and use replacement to create ∅ from set A at which point I know how to use the axioms to make the rest of the set. Or its impossible to use replacement to get the empty set at which point I don't believe I can construct the set
$endgroup$
– user652437
Mar 14 at 18:02
$begingroup$
I can do it up until the part with the empty set so I'm contemplating between 2 answers and I want to know which part is correct. Either; I can make the set and use replacement to create ∅ from set A at which point I know how to use the axioms to make the rest of the set. Or its impossible to use replacement to get the empty set at which point I don't believe I can construct the set
$endgroup$
– user652437
Mar 14 at 18:02
$begingroup$
What is the definition of $1$, $2$ and $3$? Where does this question come from?
$endgroup$
– Somos
Mar 14 at 19:12
$begingroup$
What is the definition of $1$, $2$ and $3$? Where does this question come from?
$endgroup$
– Somos
Mar 14 at 19:12
add a comment |
0
active
oldest
votes
0
active
oldest
votes
0
active
oldest
votes
active
oldest
votes
active
oldest
votes
4
$begingroup$
What are your thoughts? What have you tried? Where are you stuck? You need to provide context for your question. Right now, it just looks like you want somebody to do your homework for you; that's not what this site is for. If you add some appropriate context, we will be happy to help.
$endgroup$
– Greg Martin
Mar 14 at 17:37
$begingroup$
Can you do any of it? Can you make $2?$
$endgroup$
– Ross Millikan
Mar 14 at 17:50
$begingroup$
I can do it up until the part with the empty set so I'm contemplating between 2 answers and I want to know which part is correct. Either; I can make the set and use replacement to create ∅ from set A at which point I know how to use the axioms to make the rest of the set. Or its impossible to use replacement to get the empty set at which point I don't believe I can construct the set
$endgroup$
– user652437
Mar 14 at 18:02
$begingroup$
What is the definition of $1$, $2$ and $3$? Where does this question come from?
$endgroup$
– Somos
Mar 14 at 19:12