>>393
「X≦YかつY≦X⇒XとYの間の全単射が存在」
という命題を考えます
≦を単射で定めている場合は選択公理なしで示せます(Bernsteinの定理、易しい証明はwikipediaにもあります)
≦を全射で定めている場合は選択公理なしだと示せないことが知られています(http://www.math.sci.ehime-u.ac.jp/~fujita/preprints/20100610a.pdf)