已知命题 $p$ : 对任意的 $x, y, z \in \mathbf{N}^*, x^3+y^3 \neq z^3$, 则
A. $\neg p$ : 对任意的 $x, y, z \in \mathbf{N}^*, x^3+y^3=z^3$
B. $\neg p$ : 存在 $x_0, y_0, z_0 \in \mathbf{N}^*, x_0^3+y_0^3=z_0^3$
C. $\neg p$ : 存在 $x_0, y_0, z_0 \in \mathbf{N}^*, x_0^3+y_0^3 \neq z_0^3$
D. $\neg p$ : 不存在 $x_0, y_0, z_0 \in \mathbf{N}^*, x_0^3+y_0^3=z_0^3$