24/06/16 19:29:03.69 WsLqnDT7.net
ACにより、すべての集合Xにその濃度|X|が定まる。
Xは無限集合だから、|X|<ω(自然数全体の集合の濃度)とはならない
一方、任意の基数は比較可能であった。と言ってもいいし、任意の2つの集合に対して、一方から他方への単射が存在するのであった。
よって、ω≦|x|。
シンプルだねぇ
24/06/16 19:29:03.69 WsLqnDT7.net
ACにより、すべての集合Xにその濃度|X|が定まる。
Xは無限集合だから、|X|<ω(自然数全体の集合の濃度)とはならない
一方、任意の基数は比較可能であった。と言ってもいいし、任意の2つの集合に対して、一方から他方への単射が存在するのであった。
よって、ω≦|x|。
シンプルだねぇ