Up
7.1.4 命題論理，述語論理との関係
自然数論は，述語論理の上の理論であり，特に，命題論理の上の理論である。