>>567-569
(引用開始)
圏論と高階論理を学ぶべきと思いますよ
外から見ていることの実際が知れましょう
>>>もっと言えば、圏論は ZFCGがなくても 成り立つ
下らないものでないなら
これについて「引用」ではなくて「説明」をお願いしますよ

そもそも引用している文章も要求されてる話とまるで関係ないからな
(引用終り)

　まず、ID:l//9Q0Ks さんは、ヒキコモリ基礎論くんか？　（＾＾
『引用している文章も要求されてる話とまるで関係ないから』か
君がいう「言語則と推論則書き下し」(>>551)のこと？ それトンチンカン だなｗｗ

さて、本題
１）下記 論理学の歴史で 現代論理学は (1676年頃)ライプニッツから 始まったらしい
　だが、古代ギリシア哲学における論理学もあったわけだし
　いろんな時代の数学者たちが 常に 論理学をもとに議論したわけでもない（もちろん、非論理的には考えてないが）
　つまり、下記(1945年)戦後論理学の時代以前の数学者たちで、多くの数学者は 一階述語論理では思考していなかったということになる
　というか、本来の人の思考は なんら 一階述語論理に縛られるものではない！ ここは押さえておきたいね
　繰り返すが、人の日常の思考は 一階述語論理に縛られるものではない
２）一階述語論理とは？ 精密思考には 非常に便利であり 現代の数学者はこれを学ぶから 共通言語にもなっているが
　ちょっと現場の数学から遊離している意味もある
（ZFCは 全てが空集合Φから組み立てられるので、urelement(原始元)は許されない。現場の数学では多くは urelement(原始元)を導入して議論を進める。その方が 話が早い）
３）圏論は？ どちらかと言えば、(下記 TakuLabo 圏論とはなんなのか) 現場のオオザッパな話向きだが
　圏論的な基礎論も可能で、トポス（topos）から「直観主義的モデルも自然に現れる」（下記）という
（なお、ZFCGは無くてもいいし、あっても良い）

(参考)
https://ja.wikipedia.org/wiki/%E8%AB%96%E7%90%86%E5%AD%A6%E3%81%AE%E6%AD%B4%E5%8F%B2
論理学の歴史
現代論理学の時代
現代論理学の発展は大きく五つの時期に分けられる:[85]
1)(1676年頃)ライプニッツから1847年までの胎動期、この時期には論理演算という発想が、特にライプニッツによって議論され発展したが学派が形成されることはなく、孤立した断続的な試みがなされては放棄され、あるいは無視された
2)(1847年頃)ブールの解析からシュレーダーの『講義集』(独:Vorlesungen)までの代数の時代。この時期には現代論理学の実践者が増加し、発展が大きく継続するようになった。
3)(1879年頃)フレーゲの『概念記法』からラッセルとホワイトヘッドの『プリンキピア・マテマティカ』までの 論理主義者の時代。この時期は、全ての数学的・科学的談話の論理を一つの統一された体系にまとめ上げることを狙いとし、全ての数学的真理が論理的であるということ根本的原理として非論理的な語法を認めない論理主義者によって支配されていた。主な論理主義者にはフレーゲ、ラッセル、初期のヴィトゲンシュタインがいる[86]。この時代の頂点となるのは、初期の発展の障害となっていた二律背反の徹底的な考察が行われ、解決が試みられた『プリンキピア・マテマティカ』である

つづく