 A remark concerning the philosophical context in which Gödel presented his translation, namely finitism. The question addressed in the introduction to the paper is what abstract notions must be added to finitary mathematics in order to obtain a consistency proof for arithmetic. Equivalently: what does the finitary view presuppose, which must be given up in the light of the Second Incompleteness Theorem, if the consistency proof is to be obtained: