集合論について

[0181 １３２人目の素数さん 2014/04/06(日) 15:41:58.79]

可算ということは自然数全体の集合からの1対1ontoな写像はあるはずだから、それを具体的に与えれば整列できるはず。ただ、写像がある、というだけだと、具体的には整列しようがない。