>>497補足
>www.jstage.jst.go.jp/article/jpssj1968/40/2/40_2_1/_pdf/-char/ja
>科学哲学40-2(2007)
>構成的数学とその動向
>石原哉

(北陸先端科学技術大学院大学)
とある
1987年4月 東京工業大学, 大学院理工学研究科, 情報科学専攻 博士課程 か
いま、2023年4月 現在北陸先端科学技術大学院大学 (名誉教授)ね

(参考)
https://researchmap.jp/read0121090
石原 哉
イシハラ ハジメ (Hajime Ishihara)
基本情報
所属東邦大学 理学部 訪問教授
学位
理学士(1980年3月 東京工業大学)
理学修士(1987年3月 東京工業大学)
理学博士(1990年3月 東京工業大学)

経歴 9
2023年10月 - 現在東邦大学, 理学部, 訪問教授
2023年4月 - 現在北陸先端科学技術大学院大学 (名誉教授)
2010年4月 - 2023年3月北陸先端科学技術大学院大学, 先端科学技術研究科, 教授
2012年7月 - 2012年9月カンタベリー大学, 数学・統計学科 (Erskine Fellow)
1992年4月 - 2010年3月北陸先端科学技術大学院大学, 情報科学研究科, 助教授
2004年10月 - 2004年12月ルートヴィッヒ・マキシミリアン大学ミュンヘン, 数学科 (Guest Professor)
1993年2月 - 1993年11月コーネル大学, 数理科学研究所 (Visiting Fellow)
1988年10月 - 1992年3月広島大学, 総合科学部, 助手
1980年4月 - 1984年3月株式会社三菱総合研究所

学歴 3
1987年4月 - 1988年9月東京工業大学, 大学院理工学研究科, 情報科学専攻 博士課程
1985年4月 - 1987年3月東京工業大学, 大学院理工学研究科, 情報科学専攻 修士課程
1976年4月 - 1980年3月東京工業大学, 理学部, 情報科学科
(引用終り)

>>482
>>実数R、有理数Qなどは、古典論理の外の直観主義などの構成的数学でも認められているが
>>選択公理は、直観主義など構成的数学でも認められない！
>●タ　ついに選択公理を否定

そこ>>497
『Ｐ8
3.2選択公理
下の定理に見るように,構成的数学では認められない[8,10].』
と引用したところだ。疑問あれば、石原 哉に聞け ｗ ；ｐ）