Zorn's lemma
Mit dem Lemma von Zorn kann man beweisen, dass jeder Vektorraum eine Basis haben muss, auch wenn man sie oft nicht explizit angeben kann.