記号論理学の一階述語論理。

まだ、全ての把握が出来ていない。難しい。