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