reserve X for set;
reserve UN for Universe;

theorem
  ex A being Subset of UN st not A in UN
  proof
    assume
A1: for A be Subset of UN holds A in UN;
    UN c= UN;
    then UN in UN by A1;
    hence contradiction;
  end;
