>>197
スタンダードな数学の矛盾を超準を援用して穴埋めしたんだよ