モデル理論んんだから必ずしも数式は必要ない。
理解してないだろ。数式が科学の本質だと思ってる。