二階述語論理 - 他の言語