- 897 名前：１３２人目の素数さん [2021/05/11(火) 00:33:09.96 ID:tve+0lLS.net]
- 0∈1∈…∈n∈ω は有限列。
証明
0∈1∈…∈n∈ω が無限列であると仮定。
項を一つ取り除いた 0∈1∈…∈n も無限列。
nが自然数である限り 0∈1∈…∈n が無限列になることはないので、nは自然数ではない。
一方、ωより小さい順序数は自然数だからnは自然数。
仮定から矛盾が導かれたので仮定は偽。
↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました |
純粋・応用数学（含むガロア理論）7
| |
read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef