>>395
＞ 私は浅学で知らないので。
もうしわけないのですが、ご自分で勉強してください。

>>396
＞ 実無限は、私の考えでは、形式的体系における形式的無限に置き換えられる。
このアイディアは、自分でも考えました｡
＞ 数学の全ては、このように、記号（図形）の有限系列で表現できるし
これは実際に実現してから言わなくてはね。そうでなければ、どうかわからないです。

>>397
どうもおほめにあずかって。

>>398
＞ 数学は勝ち負けを決める競技ではないから。
”数学は”といえば、そうです。しかし、議論のなかには勝ち負けの要素があるからこそ
議論のおもしろみがあるのです。ただし、勝ち負けが議論の目的でないことはいうまでもないこと。
それは、ゲームとおなじことです。

>>399
そうです。ありがとう。

>>400
チェックできる定理のみやってきたのではないですか？