>>473
命題記号をアリティ0の述語記号と考えるということですか？

関数記号がないと自然数すら記述できませんね