What we do is develop one or anotber set theory by obvious reasoning, or elementary logic, from unobvious first principles which a rc set down, whether for good or for the time being, by something very like convention.