let UN be Universe; :: thesis: not for A being Subset of UN holds A in UN
assume A1: for A being Subset of UN holds A in UN ; :: thesis: contradiction
UN c= UN ;
then UN in UN by A1;
hence contradiction ; :: thesis: verum