命題を表すため、述語(predicates)の第三の可算無限集合 "p" を想定し、項群に対する原子述語を次のように定式化する。