同値性証明で圧倒的に易しいのが整列定理⇒選択公理、ちょっと難しいのが選択公理⇒整列定理と選択公理⇒ツォルンの補題、圧倒的に難しいのがツォルンの補題⇒選択公理