>>659
誰が形式マンセーなの？

モデル理論があるのは「形式体系を調べる事には意味がある」と考えているから。
君のように一つの哲学的(藁)主張をしてそれで終わりじゃないし、
モデル理論という分野が出来る前から、君の言うような事は常識に過ぎない。

形式体系が絶対じゃないのは当たり前の事だが。だからと言って、無意味と言う訳でもない。当たり前だが
君の間違いは「形式化に意味があると普通に考えてる人達が
形式体系から読み取った出張は絶対だとも考えている」と君が思ってる事にある