non-wellfoundedなAFAとかの理論が集合論じゃないとは言わないが、
集合論の中でかなり辺縁的な分野であるのは事実なので、
全く同じくらい研究する価値のある分野だというとあまりにも言い過ぎになる。

「今ではブラウワーに端を発する直観主義的数学は、古典論理に基づく従来の数学と
同等の、いや寧ろより確固とした価値をもつ数学として盛んに研究されている」
みたいなことを素人に吹き込む人とかが居たら、さすがに「嘘付け」って言いたくなるでしょ。
だから「さすがに言い過ぎだろ」って突っ込んだだけだ。