Zorn's lemma
Wie in der linearen Algebra die Existenz einer Hamelbasis bewiesen wird, so erhält man die Existenz einer Transzendenzbasis, indem man zeigt, dass jede Vereinigung aufsteigender Mengen algebraisch unabhängiger Mengen wieder algebraisch unabhängig ist und dann das Lemma von Zorn anwendet.