generated at
ツォルンの補題
帰納的順序集合は少なくとも一つの極大元を持つ

選択公理と同値