每一个真值函项，都可以被安排进一个由诸真值函项构成的形式序列之中
而这些形式序列的通项都是 :
[ P，ξ，N（ξ）]