 What we do [in set theory] is develop one or another set theory by obvious reasoning, or elementary logic, from unobvious first principles which are set down, whether for good or for the time being, by something like convention. (CLT, p. 111)