Up 6.7 命題/述語論理の上の理論  

　命題［述語］論理を論理としてこれに従う理論（§5.4）のことを，“命題［述語］論理の上の理論”と言い表わす。