>>502
そうか？
まず何か芯になってるpredicateについて述べてそのあとの修飾でforall 〜とかいうのが英語としては自然な気がする
つまり英語文化だと“前提条件的なもの”をゴタゴタ述べるのを後回しにして後から後から説明を加えていく構造になってる
実際文法上もSVが来てそれを修飾するMが後からくる
でも数学だとそうはいかない
まず命題に出てくる変数のうち束縛すべきものがforall なのかthere existsなのかを前に持ってこないといけない
でも英語には“後から修飾”が自然でそっちを取らないとおかしい文がかなりできてしまう、だいたいのto 不定詞で修飾するタイプは間違いなく後ろ修飾だしな