- 752 名前：710 mailto:sage [2010/01/11(月) 19:43:58 ]
- 詰まるところ、自分がおそれているのは、上手く表現し切れませんが、
論理学が（弱い意味であれ）算術や集合論（有限集合の概念も含めて）に依って出来ていて、
一方、数学はきちんと記述しようとすると論理学を必要とする。
よって、いずれもが相手を基礎付けに必要としている、という循環になっているのではないかということです。
（多分、そうはなっていないのかもしれませんし、なっていたとしても不都合はないのかもしれませんが。）
上では敢えて、形式化されたものと、されていないものを区別せずに書きました
（自分でもはっきり分かっていないからです）。
このような議論がこのスレで不毛/不適切であれば、以降、発言は控えます。
ただ、このスレにはプロの方もいらっしゃるでしょうから、もし教科書など書かれる際には、
このような詰まらないことで躓く基礎論入門者もいるということを思い出していただければ幸いです。
