严格地说，在无穷集{1, 2, …, k, …}上 　　P(1)∧P(2)∧…∧P(k)∧… 　　P(1)∨P(2)∨…∨P(k)∨… 　　都是没有定义的, 不是合式公式。 　　一般地说，谓词逻辑的公式不能转换为命题逻辑公式。