”直観主義ではラッセルのパラドックスが起きて、結局矛盾する”？
竹内 外史さんなど、だれもそんなこと言ってないぞ

https://sagaweb.csse.muroran-it.ac.jp/htdocs_fuzzy/fuzzy2/node17.html
直観主義論理 室蘭工業大学

http://iso.2022.jp/math/tosuu-2019-07/resume.pdf
直観主義論理入門y.∗ 2019年7月15日最終更新日: 2020年1月3日 http://iso.2022.jp/

https://www.kurims.kyoto-u.ac.jp/~terui/summer2013.pdf
直観主義論理への招待数学基礎論サマースクール2013講義資料照井一成（京都大学）

https://www.jstage.jst.go.jp/article/kisoron1954/16/3/16_3_23/_pdf/-char/ja
直観主義的解析学の諸原理山本新* 科学基礎論研究 1983

https://www.アマゾン
直観主義的集合論 (紀伊國屋数学叢書 20) 単行本 – 1980/12/1
竹内 外史 (著)