If an $n \times n$ symmetric A is positive definite, then all of its eigenvalues are positive, so $0$ is not an eigenvalue of $A$. Therefore, the system of equations $A\mathbf{x}=\mathbf{0}$ has no non-trivial solution, and so A is invertible.
I don't get how knowing that $0$ is not an eigenvalue of $A$ enables us to conclude that $A\mathbf{x}=\mathbf{0}$ has the trivial solution only. In other words, how do we exclude the possibility that for all $\mathbf{x}$ that is not an eigenvector of $A$, $A\mathbf{x}=\mathbf{0}$ will not have a non-trivial solution?
Note that if $Ax=0=0\cdot x$ for some $x\ne 0$ then by definition of eigenvalues, $x$ is an eigenvector with eigenvalue $\lambda = 0$, contradicting that $0$ is not an eigenvalue of $A$. $$Ax=\lambda x$$