>>769 夫馬です

いや、鉄柱は「数学の哲学」の人ではない。俺が
ネタに使ったのは、その分野の基礎文献だから。
それも見抜けてない