一階述語論理 - Wikipedia
ja.wikipedia.org