>>574
>１）
おまえ、番号つけるの好きだな
そのキモチワルイ風習　誰の真似？

＞下記
おまえ、下記っていうの好きだな
でもまともな人はいちいち下記とかいわねえよ

＞論理学の歴史で 現代論理学は (1676年頃)ライプニッツから 始まったらしい
おまえ、「らしい」って幼児語好きだな
でも大人はそういうとき「といわれている」と書くぞ　覚えとけ

＞だが、古代ギリシア哲学における論理学もあったわけだし
あったな　ベン図的論理学（笑）
専門的にいえば、一項述語しか現れない述語論理　

＞いろんな時代の数学者たちが 常に 論理学をもとに議論したわけでもない
＞（もちろん、非論理的には考えてないが）
そもそも数学が「定義から定理を導く証明」という形で
その正当性を根拠づけるようになったのは
始まりはエウクレイデスの「ストイケイア」（原論）かもしれんけど
実際にはもっと後のことだろうな
詳しいことはGrokにでも聞いてくれ（笑）

＞つまり、(1945年)戦後論理学の時代以前の数学者たちで、
＞多くの数学者は 一階述語論理では思考していなかったということになる
まあ、1930年のゲーデルによる一階述語論理の完全性定理以降だろうな
とはいえ、昔の数学者がそんな超絶推論をしてたわけでもないが

>というか、本来の人の思考は なんら 一階述語論理に縛られるものではない！ ここは押さえておきたいね
>繰り返すが、人の日常の思考は 一階述語論理に縛られるものではない
君は、一階述語論理の思考も理解できてない、こここそ押さえておきたいね
繰り返すが、君は一階述語論理の思考を全く理解できていない
だから大学１年の実数の公理もコーシー列も開区間と閉区間の違いも関数の連続性、一様連続性も
ぜーんぜん理解できずにものの見事に落ちこぼれた

ぜーんぶ「ブルバキ数学原論　位相」に書かれてる大学初年級レベル