设个体城是自然数集，p代表?x?y?z（x-y=z），下面四个描述正确的是（）

设个体城是自然数集，p代表?x?y?z（x-y=z），下面四个描述正确的是（）
A.p不是一阶逻辑公式。
B.p是假命题。
C.p是真命题。
D.p是一阶逻辑公式，但不是命题。
正确答案：A