Here's an easy solution:
Since x is a set and ON is a proper class, there exists an ordinal with .
x and y are sets.Show that for any x there exists a transitive y such that
Here's my idea: Take a set x and take it's cardinality. Express this number in terms of power sets of the empty set. This would give a transitive set every time.
The only problem is if the set we start off with is in terms of power sets of the empty set. In this case, map this to the cardinality of it's set +1 and express that number in terms of power sets of the empty set.
Is this a good way of proving this?
Wow, one line solutions usually make sense.
However, we haven't been lectured about ON, proper classes or ordinals.
Can I just ask what your ON actually is? I think i'll go and read about proper classes or ordinals, it might help me understand what you mean.
An ordinal is a set that is transitive and well-ordered. Here are some simple examples of ordinals:
...
ON is the class of all ordinals.
ON is too big to be a set, thus it is a proper class.
The ordinals should be covered in a basic set theory course. They are fundamental.