2013-05-16 定義2.1.2. N Nat (Natural number) 自然数 0,1,2... ホントは2重線のNです - countable set 可算集合 自然数と一対一に対応付けられる集合