theorem Th6: :: ZF_REFLE:6

for W being Universe st omega in W holds
W is being_a_model_of_ZF