18/07/09 06:15:21.65 RfKEQZmA.net
>>408
＞基礎論寄りの議論をしないと決着はつかないのかなー、と。
これもトンチンカン。次から次へとトンチンカンなレスが飛び出す。
俺は最初からずっと
＞ だけど、「数学基礎論とコンピュータサイエンスの世界では、０を自然数に
＞ 含める」みたいな偏見と闘わなければならないのかな？とは思ったりします。
というレスに対して話をしているのである。このレスは基礎論の話と無関係であり、
グッドスタインの定理とも無関係であり、このレスに関する議論は既に決着がついている。
「 M.B. は浅はかな思い付きによるバカな発言をした」
これが決着。