284のリンク先をよく嫁

>「これは革命だ！」「今の数学をこれで新たに作り直そう！」な人
そんな奴がどこにいるんだ？ってのがそのリンク先の議論の出発点

> 別に反基礎の公理の研究そのものを否定していないでしょ
「否定する」の意味によるだろうが、
反基礎の公理の研究は(少なくとも現状では)面白くなってはいない、
という主張は読み取れる

単なる藁人形論法なのか、
藁人形論法に偽装して「反基礎の公理の研究そのものを否定」するようなことを書きたいのか

他の文章でもAFAに否定的なことを書いていることからして、
俺は後者ではないかと考える