20/01/02 12:03:18 YLjNnjPy.net
>>207
>極限数が定義できるというのは極限数そのものが何になるのかを定義してるのではなく、極限数とは何かを定義する方法が色々あると言う意味です。
同意ですよ
>我々が普段使っているザックリした言語ではそのような誤読を引き起こす可能性があるから論理式が読めないと数学ができるようにはならないのです。
多分似たことを言っていると思うが、ニュアンスが違うと思う
良く教科書で、次の命題は同値として
定理ｘ：
・命題a
・命題b
・命題c
みたいに書いて、証明：命題a→命題b→命題c→命題a
みたいに書いてある場合がある
まあ、スペースを省く意味もあるだろうが
それよりも、定理ｘの切り口が、命題a、命題b、命題c と3つあると捉えるのが正解だと思う
つまり、命題a、命題b、命題c の3つを総合的に理解すべきだと
そして、場面に応じて、適切にあるときは命題a、あるときは命題bと使い分けるべし
で
いまの場合で言えば、
ある適切な後者関数を取ったときに、
極限順序数ωを、
「順序数全体の成す類において順序位相（英語版）に関する極限点」と考えれば、良いという主張さ
（再録）
URLﾘﾝｸ(ja.wikipedia.org)
極限順序数
(抜粋)
任意の自然数よりも大きい最小の超限順序数 ω
極限順序数は他にもいろいろなやり方で定義できる:
・順序数全体の成す類において順序位相（英語版）に関する極限点 (ほかの順序数は孤立点となる)。