集合論について

[0188 １３２人目の素数さん 2014/04/06(日) 19:48:48.12]

それは選択公理ではなく、ヒルベルトのchoice operatorというやつなのでは。
不定にchoiceされたfは最終的に消えるので「可算集合は整列可能である」は証明できたことになると思う。