0182132人目の素数さん垢版 | 大砲2014/04/06(日) 18:18:59.77 全単射があれば整列順序は得られるし 具体的な全単射があれば具体的な整列順序が得られるというだけの話じゃないの