Zorn's lemma
Der Beweis des Krein-Milman'schen Satzes basiert auf dem Lemma von Zorn (oder einem gleichwertigen Maximalprinzip der Mengenlehre) und dem Satz von Hahn-Banach und setzt damit die Gültigkeit des Auswahlaxioms voraus.