＞数学は実はただの記号の変形ゲームだ、
＞とはHilbertもGoedelも誰も言ってはいないんだけどな。

David「数学を記号変形ゲームだと思えば簡単に無矛盾性がいえるんじゃね？」
Kurt 「やってみますた。無矛盾性が証明できるとすると矛盾しますが何か？」

＞数学の或る特定の分野が与えられると、
＞記号と記号列の変換規則によって
＞その骨格模型みたいなのが作れる、
＞というのが本意な訳で。

ほう、では模型に含まれない、例えば筋肉とは何かな？