ツォルンの補題
Zorn's lemma is also equivalent to the strong completeness theorem of first-order logic.