>>245
文字列は結局のところ自然数であり、メタ定理の構文論的証明は数学的帰納法の適用にすぎないんだよ
数学の中でも最も基本的な部分
色々と合点がいったよ
ユークリッド幾何の公理系に関するあなたの主張は、形式的体系という概念の無理解によるものだとすれば、まあ分からなくもない