\begin{abstract}
The 1-consistency of arithmetic is shown to be equivalent to the existence of fixed-points of a certain type of update procedure, that is implicit in the epsilon-substitution method.
\end{abstract}