Mathematical logic and foundations

What central existence claim does the axiom of infinity provide in standard set theory?