In summary: The interplay of meaning and axiomatic machine mathematics, captured by the difference between $\models$ and $\vdash$, is a subtle and interesting thing.
What is the meaning of the $c$ in $C_c^ {\infty} (\mathbb {R})$?