Transfinite Methoden

Auszug

Unser nächstes Ziel ist, den von Steinitz stammenden Satz zu beweisen, dass jeder kommutative Körper einen algebraischen Abschluss hat. Das geht nun nicht mehr alleine mit den bislang benutzten Hilfsmitteln der Mengenlehre, deren Axiome wir im Übrigen nicht explizit formuliert haben und auch im weiteren Verlauf nicht explizit machen werden, es bedarf hierzu vielmehr transfiniter Hilfsmittel, die wir zunächst bereitstellen und diskutieren werden.