ツォルンの補題
帰納的順序集合は少なくとも一つの極大元を持つ
選択公理と同値