While reading this post, I noticed that at one point in the answer it was assumed that given a collection $C$ of sets, there is some $X\in C$ of minimal cardinality. I couldn't find a proof online nor come up with one myself.
I was wondering how the result could be shown, and if ordinals -which I know not a lot about- need to be involved.