What excluded a set from belonging to itself in set theory?