Develops an arithmetic analog of the theory of ordinary differential equations, where functions are replaced by integer numbers, the derivative operator is replaced by a 'Fermat quotient operator', and differential equations (viewed as functions on jet spaces) are replaced by 'arithmetic differential equations'.