 Then formula_5 cannot be in formula_4.For


Therefore, the assumption that formula_5 is in formula_4 is wrong, proving the theorem.Hence not all objects of the universal domain "B" can be elements of one and the same set.