yes, if you want ordinal numbers in ZFC you need to take the axiom of infinity. Other than that it's a pretty straightforward construction. If you reject the axiom of infinity you also essentially reject all of standard analysis (using limits to study reals often implicitly invokes the axiom of infinity).