>>818
>もういい加減、この話題は終了にしようぜ。
速やかに>>801の
>解答の骨子を「記号による証明のオンパレード」でここに晒しなさい。
に従いなさい、ハッタリ厨さんw
それでこの話題が収束するよ。(まともに答えられたらねw)

>>819
>幾何学的構造、代数的構造等の構造を研究する「模型論」
初耳。表現論じゃないのか？