证明:对于集合公式来说,运算集合{~,U}是全功能的