All formulations of ZFC imply that at least one set exists.
Kõigist ZFC formuleeringutest järeldub, et eksisteerib vähemalt üks hulk.