21/05/20 01:26:38.95 XKKTinQT.net
>>202
>” ai ∋ ai+1 for all i ”
┐(´∀｀)┌ﾔﾚﾔﾚ
「雑談」ことチャット君は いまだに
「自然数鉄道とリミット・エアライン」
の喩えが理解できないんだねえｗ
いくら自然数鉄道に乗っていても、ωにはたどり着けないの
ωに行きたかったら
「すべての自然数を要素にもつ最小の集合」
を認めるという飛躍を行うしかないの
飛ぶしかないの
21/05/20 01:26:38.95 XKKTinQT.net
>>202
>” ai ∋ ai+1 for all i ”
┐(´∀｀)┌ﾔﾚﾔﾚ
「雑談」ことチャット君は いまだに
「自然数鉄道とリミット・エアライン」
の喩えが理解できないんだねえｗ
いくら自然数鉄道に乗っていても、ωにはたどり着けないの
ωに行きたかったら
「すべての自然数を要素にもつ最小の集合」
を認めるという飛躍を行うしかないの
飛ぶしかないの