>>531
選択公理と強制法ぐらいは挙げないと。