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

大阪の同業者君、またトンデモ「常識」語っちゃったか

排中律なくせばラッセルのパラドックス回避、なんて
いつどこでだれがいったの？ブラウワー？そんなの、初耳だよ

別の”規則”をなくせば、パラドックスは回避できるけどね
縮約規則を除いた線形論理とかね
ちなみに線形論理で排中律を残してもパラドックスは起きない