"When we examine the classical set-theoretic foundations of mathematics, we see that the only sets that play a role are sets of restricted type; at the risk of understatement, only sets of rank < ω + ω. Further examination reveals four fundamental principles about sets used: the existence of an infinite set; the existence of the power set of any set; every property determines a subset of any set; and the axiom of choice."