Gödel, Escher, Bach #3

Mathematics (addition, subtraction, etc) are a mechanical process. It only changes when we give a different value to the numbers, then it stops being mechanic.

When is the moment in which we step out of the formal system and start using system I?