Let x be a member of ω. Then we define omegaS(x) to be the object given by {x}∪x.
The following background is necessary to understand this definition.
(.) Let A and x be objects. Then x∈A is a proposition.
(.) Let x and y be objects. Then {x}∪y is an object.
(.) ω is an object.
Click here to modify variable names (JavaScript Must Be Enabled).
Hide Background.
Test yourself on this item.
Theorem Theorem Theorem Theorem Theorem Theorem
