>>355
354ははっきり
>日本で「数学基礎論」と呼ぶ分野
と認めちゃっているから前のバカとは別人ではないかと。