>>563
その日本語をそのまま定式化したら、∀が内側に入った論理式になるだろ