>>780
じゃ救わなきゃいんじゃね？

>>781
じゃ思わなきゃいんじゃね？
「一方は定義、他方は関数適用であって、それらは異なる」は君がそう思い込んでるだけ

>>782
じゃ救わなきゃいんじゃね？
何を言ってるか理解できてないのは君
まずは形式体系とメタ数学の区別から始めるとよいと思うよ　全然分かってないみたいだから