Registermaschine/Einzelbefehle/Arithmetische Repräsentierung/Fakt/Beweis

Beweis

Die arithmetische Repräsentierbarkeit der Programmabbildung bedeutet, dass genau dann gilt, wenn die entsprechende arithmetische Aussage in gilt. Genau so wurden aber die definiert.