let UN be Universe; :: thesis: not for a being set holds a in UN
assume for a being set holds a in UN ; :: thesis: contradiction
then UN in UN ;
hence contradiction ; :: thesis: verum