Update prim-rec.tex

Author: feffemannen

content/incompleteness/representability-in-q/prim-rec.tex

@@ -14,7 +14,7 @@
 we have $f(\vec x)$ and $g(\vec x, y, z)$. Then the function~$h(x,\vec
 z)$ defined from $f$ and~$g$ by primitive recursion is
 \begin{align*}
-h(\vec x, 0) & =  f(\vec z) \\
+h(\vec x, 0) & =  f(\vec x) \\
 h(\vec x, y+1) & =  g(\vec x, y, h(\vec x, y)).
 \end{align*}
 We need to show that $h$ can be defined from $f$ and~$g$ using just