アレフ０未満の濃度は有限濃度だ。選択公理があろうがなかろうが関係ない。
有限濃度で 0 まで減ったら空集合だから取り除きようがない。
有限順序数 (有限濃度と同じ) 全部を集めた集合の濃度がアレフ0。
アレフ0 の濃度の順序数を全部集めた集合の濃度がアレフ1。
アレフn の濃度の順序数を全部集めた集合の濃度がアレフn＋1。
といった調子だ。