数学ではどうあがいても勝てないので数理哲学を持ち出したと 負けず嫌いだね