>>442
>>”数学の基礎として公理的な集合論の代替として機能する”
>>”カテゴリ論理は現在、直観主義論理の型理論に基づいて明確に定義された分野”
>　上の二行には、ラッセルパラドックスを解決するって書いてないですよね　幻視？

"ラッセルのパラドックス"は、下記いわゆる
”自己言及のパラドックスまたは嘘つきのパラドックスとは、「この文は偽である」という構造の文を指し、自己を含めて言及しようとすると発生するパラドックスのことである”で

これは、直観主義論理の二重否定の法則を認めないことで
"ラッセルのパラドックス"は回避できるのです（常識ですよ）

(参考)
https://www.ne.jp/asahi/village/good/logic-intuitionistic.htm
直観主義論理 (intuitionistic logic )

直観主義においては、「ある命題かその命題の否定かのどちらかが必ず真である」という排中律（A∨¬A）は認められない。
また、Aではないことが真ではないからといって、Aが真であるとは言えないから、二重否定の法則（¬¬A⊃A）も認められない。
（したがって背理法の使用も制限される。）

https://ja.wikipedia.org/wiki/%E4%BA%8C%E9%87%8D%E5%90%A6%E5%AE%9A%E3%81%AE%E9%99%A4%E5%8E%BB
二重否定の除去
二重否定の除去は古典論理では定理だが、直観主義論理ではそうではない。

http://math.artet.net/?eid=997612
直観主義論理の公理系

(参考)再録>>404
https://ja.wikipedia.org/wiki/%E8%87%AA%E5%B7%B1%E8%A8%80%E5%8F%8A%E3%81%AE%E3%83%91%E3%83%A9%E3%83%89%E3%83%83%E3%82%AF%E3%82%B9
自己言及のパラドックス
自己言及のパラドックスまたは嘘つきのパラドックスとは、「この文は偽である」という構造の文を指し、自己を含めて言及しようとすると発生するパラドックスのことである。この文に古典的な二値の真理値をあてはめようとすると矛盾が生じる（パラドックス参照）。

「この文は偽である」が真なら、それは偽だということになり、偽ならばその内容は真ということになり……というように無限に連鎖する。同様に「この文は偽である」が偽なら、それは真ということになり、真ならば内容から偽ということになり……と、この場合も無限に連鎖する。

集合論におけるパラドックス (ラッセルのパラドックス)
詳細は「ラッセルのパラドックス」を参照