theorem Th3: :: ZF_REFLE:3

for W being Universe st omega in W holds
W |= the_axiom_of_infinity