20/05/10 08:22:32.57 mjl0bfS3.net
>>371
つづき
１．では、論理式 ψは、有限なのか、無限なのか？
２．それは数え方の問題でもあると思います
３．例えば、デデキント先生の本「数とは何か」にならって、ZFCで、”Φ (or 0; empty set)”から初めて、自然数N、整数Z、有理数Q、実数R を作ることを論文に纏めたとする
この論文は、明らかに 有限ページであり、使われる文字も有限です。この視点からすれば、使われた 論理式 ψは明らかに有限です
４．一方で、自然数Nは可算無限集合であり、”S (ordinal successor function )”みたいなのを 可算無限回使ったと考えると（例えば数学的帰納法などで）、 ”無限だ”と見ることもできる
５．要は、有限なのか、無限なのか？ どちらの見方もあるってことでしょう。「論理式 ψは無限！」なんてのは、自分の立ち位置と視点を明確に語らないと、無意味です
QEDｗ（＾＾；
以上