>>291
>>ω∪ω＝ω
>これどういう意味？
>ω∪ω＝ωは当然真だが
>ω＋ω→ω∪ω って何だ？「→」は何の記号？

スレ主です
１）「→」の意味は、あんたは”ω＋ω→ω∪ω”（通常の集合論）と誤解してないのか？
　という意味です
２）つまり、ω＋ωの定義は>>256
　順序数 https://ja.wikipedia.org/wiki/%E9%A0%86%E5%BA%8F%E6%95%B0
　3.α が順序数のとき、S(α) := α ∪ { α } は α より大きな順序数のうちで最小のものである。S(α) を α の後続者（successor of α）と呼ぶ。
　順序数の並び方を次のように図示することができる：
　0, 1, 2, 3, ............, ω, S(ω), S(S(ω)), S(S(S(ω))), ............, ω + ω,
　と定義されている通り
３）よって、>>275より
　>ω={0,1,2,・・・}
　>ω＋ω={0,ω,1,ω+1,2,ω+2,・・・}
　>　略
　>と定義すればfは全単射
　とかアホな議論は、順序集合論としては、全くナンセンス！ｗｗ