数学基礎論・数理論理学　その8

>>231
それは普段我々が使ってる日常言語とか論理とか形式化されていない自然数論
（そこでは数学的帰納法が正しい推論の法則として認められている）
とかでいいんじゃないの？

上でも誰かが言ってたけど、形式化って
「論理というものがまったく存在しないところに、ゼロから論理のしくみやはたらきを発生させる」
ためのものではないでしょ