一階述語論理≒数学って英語のがしっくり来るんですが・・・
日本語は別の論理体系っぽい