> So no transfinite ordinal analysis or large cardinals You could insist on sticking with the Axiom of Countable Choice if you wanted to avoid some of that. I

> So no transfinite ordinal analysis or large cardinals You could insist on sticking with the Axiom of Countable Choice if you wanted to avoid some of that. I'd say it's pretty hard to avoid thinking about 'infinity' though.