無限に付いて語る。実無限VS可能無限

>>76

＞＞直観主義数学がまだ議論の対象だったとは、初めて知りました。
＞もろに直観主義数学の話をしてるの君自身じゃないか。何をいってるんだ。

現代で直観主義がどういう扱いを受けているのか、僕は全然知らないのですよ。でもまあ、より正確に、

　直観主義数学が「アカデミズムの中で」議論の対象だったとは、初めて知りました。

に訂正します。あるいは

　直観主義数学が「あのスレッドの中で」議論の対象だったとは、初めて知りました。

の方が正確ですか？