Zorn's lemma
はツォルンの補題に似た初期の定理である。