>>271
論理式で書ければってことじゃなくて
重力定数を含むような微分方程式は
実数から説明がつかないじゃない。
なんか新しい述語を加えて、
モデルの方も拡張してみるって考えじゃいかんのかしら？