ツォルンの補題
ツォルンの補題は三つの主要な成果と(ZFにおいて)同値である