Working $\infty$-categorically, we may think of a homology theory as a functor from spaces to spectra. The axioms about the suspension isomorphism and cofiber sequences are equivalent to preservation of pushouts. Now, a functor which preserves pushouts and all (small) coproducts, preserves all (small) colimits. This is proposition 4.4.2.7 in HTT by Lurie. **Remark:** Actually, we can reverse the logic by saying that we just want our the functor to preserve all (small) colimits. One can break this into (1) preservation of finite colimits and (2) preservation of filtered colimits. One can also replace (2) by (2') preservation of coproducts. Additionally, one can replace (1) by (1') preservation of pushouts. Finally, one can test that a map of spectra is an equivalence by checking the induced map on the homotopy groups and for a pushout these can be described by a long exact sequence. This allows us to reformulate everything in classical terms (i.e. the Eilenberg-Steenrod axioms).