MHB How do cardinalities apply to complex sets in basic set theory?

AI Thread Summary
Cardinalities in set theory indicate the number of elements in a set, with X and Y each having 2 elements, while Z has 3. The discussion clarifies that when calculating U = Z - X, the element 'a' from Z is excluded because it is also in X. The remaining elements {a} and {[Ø]} are included in U, leading to U equaling {{a}}. It is emphasized that only top-level elements are considered when determining membership in sets. Understanding these principles is crucial for working with complex sets in basic set theory.
simwun
Messages
1
Reaction score
0
HI there,

Just getting into set theory just had a few questions/clarifications I guess you could call it.

if X = {Ø, a} Y={{Ø}, a} and Z = {a, {a}, {Ø}}

So i understand X has 2 elements along with Y and Z has 3.
I know what the cardinalities are of basic sets like {2, 3, 4, 5} etc but how do they apply to sets such as the above?

On top of this if U = Z - X

thats {a, {a}, {Ø}} - {Ø, a} does U = {{a}}? I am just unsure when there is a set as an element such as {Ø} do the same rules apply?

Cheers in advance,

Sim
 
Physics news on Phys.org
simwun said:
if X = {Ø, a} Y={{Ø}, a} and Z = {a, {a}, {Ø}}

So i understand X has 2 elements along with Y and Z has 3.
You are right about X and Z. The set Y has 2 elements: {Ø} and a.

simwun said:
On top of this if U = Z - X

thats {a, {a}, {Ø}} - {Ø, a} does U = {{a}}?
The first element a of Z is also an element of X, so it does not belong to Z - X. Next, {a} and {Ø} are not elements of X, so they belong to Z - X.

The idea is: only the "top-level" elements are real elements. E.g., {Ø} ∈ {a, {a}, {Ø}}, but Ø ∉ {a, {a}, {Ø}}.
 
I was reading a Bachelor thesis on Peano Arithmetic (PA). PA has the following axioms (not including the induction schema): $$\begin{align} & (A1) ~~~~ \forall x \neg (x + 1 = 0) \nonumber \\ & (A2) ~~~~ \forall xy (x + 1 =y + 1 \to x = y) \nonumber \\ & (A3) ~~~~ \forall x (x + 0 = x) \nonumber \\ & (A4) ~~~~ \forall xy (x + (y +1) = (x + y ) + 1) \nonumber \\ & (A5) ~~~~ \forall x (x \cdot 0 = 0) \nonumber \\ & (A6) ~~~~ \forall xy (x \cdot (y + 1) = (x \cdot y) + x) \nonumber...
Back
Top