>>700
巡回ご苦労さまです
スレ主です
ありがとうございます

むずすぎで、キーワード検索ヒットしませんが
まあ 下記で お茶濁す

https://glim-re.repo.nii.ac.jp/?page=1&size=50&sort=-pyear&search_type=0&q=0
gakushuin_uni_ 学習院
https://glim-re.repo.nii.ac.jp/search?page=1&size=50&sort=-createdate&search_type=0&q=%E7%8F%BE%E4%BB%A3%E6%95%B0%E5%AD%A6%E5%9F%BA%E7%A4%8E%E8%AB%96%E8%AB%96%E4%BA%89
検索：現代数学基礎論論争
数学史講義（第14回） : 数学の基礎をめぐって　4 ； 現代数学基礎論論争（その2），ヘルマン・ワイルの数学と思想
数学史講義（第13回）：数学の基礎をめぐって　３：現代数学基礎論論争（その１），ヒルベルトの形式主義
数学史講義 (第1回) : 講義を始めるにあたって

https://glim-re.repo.nii.ac.jp/record/5000/files/kotokakiyo_18_25_80.pdf
現代数学基礎論論争(その 1),ヒルベルト
学習院大学学術成果リポジトリ
PDF
林知宏 著 · 2020 — ヒルベルトが連続体仮説と整列可能性とを関連づけたのは卓見であった．実際，このパリ. 会議の後にこの第 1 問題は多くの取り組みがあり，1934 年にはシェルピンスキー ...