Source: Patrick Suppes: Axiomatic Set Theory
My question is why do we always bother with the routine of showing that the abstract property/formula implies the membership in the bigger set we're separating over? Doesn't the axiom schema alone suffice, on its own, as justification for the existence of the new set we're trying to build (No additional steps needed)?