>>705
2階述語論理で量化...?