ツォルンの補題
Zorn's lemma is equivalent (in ZF) to three main results: