Geach論理のフレーム定義性