So one of the axioms of outer measure is the following:

Countable subadditivity axiom: If then .

Well it's not really an axiom since we want/have to prove it. But what is the point of using the " trick" to prove this? E.g. we have the following:

(1)

This is analogous to for some (with ). But what is special about ? Why not just use ?