真值函项的一般形式是：
“ [ P，ξ，N（ξ）]， 这也是命题的一般形式”
[ P，ξ，N（ξ）] 命题序列
P 命题序列中的第一个命题
ξ 所有命题的总和
N（ξ）在所有命题之下，还有另一个命题，即，极限点命题