However, S{} is unsatisfactory for ordinary mathematicians (who are not finitists), because even though N may be available as a subset of S{}, still the power set of N is not.
One should note a slight shift in philosophy from the previous section, where the universe was any set U of interest.