21/06/18 16:18:37.43 1Bo6l00w.net
>>312
>>158が最初だが出てたか？
>>179で定義を確認したが、そのときはインデックス集合に条件があるかのように返答していたな
しかしwikipediaを見てもそんなものはなく、話す中でようやくあなたの言いたいことが見えてきたという流れだった
>順序数は無限降下列を持たない
すまん、それが矛盾を導くのか？
21/06/18 16:18:37.43 1Bo6l00w.net
>>312
>>158が最初だが出てたか？
>>179で定義を確認したが、そのときはインデックス集合に条件があるかのように返答していたな
しかしwikipediaを見てもそんなものはなく、話す中でようやくあなたの言いたいことが見えてきたという流れだった
>順序数は無限降下列を持たない
すまん、それが矛盾を導くのか？