>>612
＞数学にならない。
「証明論やメタ数学が成立しない」の間違いだろ？

通常の形式化できる数学の定理は影響皆無なんだから、数学にならないなんてことはない。