Properties, abstracts, and the axiom of infinity