>>288 >>293
ご苦労さまです
スレ主です

ご存じかと思いますが>>287氏は
何年も前からいるアンチIUTの人で

自分は数学基礎論を勉強し、（民間で）研究している数学研究者を自認する人で
「基礎論くん」などと、呼ばれています

彼は、自分は数学のプロ気取り
他人は、数学素人扱いで、罵倒します

今日始まったことではないのですが
それを、ちょっと頭の片隅において頂ければと思います