>>503
>相変わらずメッチャクチャwwwwwww

出ました ストローマン
論点ずらし

１）そもそも、>>456 「直観主義でラッセルのパラドックスが回避できるってなんだよ
　a = { x | x ∉ x }という集合の存在から矛盾が証明できないってこと？わいはできるぞ」
　だった
２）>>454 ”数学の基礎として公理的な集合論の代替として機能する”
　”カテゴリ論理は現在、直観主義論理の型理論に基づいて明確に定義された分野”
　”これは、直観主義論理の二重否定の法則を認めないことで
　"ラッセルのパラドックス"は回避できるのです（常識ですよ）”
　の直後に、上記は投稿されたのです
３）そもそも、いま圏論ロジック→直観主義論理 がいろいろ議論されているのに
　そこに対して、”直観主義ではラッセルのパラドックスが回避できていないぞ”と 突っかかってくる
　それって、「あんた 何考えているの？」レベルの暴挙でしょ？ （確立されている数学に対して、岩にぶつかっていくみたいなこと）

で、河東氏ゼミの話だった
すべての疑問点を解消して一歩一歩進むべし

それを、全数学勉強に広げて、一歩一歩だという人がいた
しかし、いまの直観主義がいい例で

直観主義とラッセルのパラドックスの関係
それを、自分で調べるべしでしょ？

それは、一歩一歩でなく、探索的に読まないとね
そういう勉強もできないと、結局数学落ちこぼれじゃないの？