0342132人目の素数さん垢版 | 大砲2018/02/16(金) 14:10:27.11ID:s/7VVjZ5 あ、ありっぽいですね。 ∃y (y ∈ φ × φ ∧ (x, y) ∈ Γ_Δ ∧ (y, z) ∈ Γ_(0 × ξ) ) は x, z についての条件ですね。