このことを初めて知ったとき、モデル理論すげええええええ　タルスキすげええええええ　と思ったねｗ