 Similarly, the traditional account is perfectly compatible with recursive (a.k.a.: inductive) definitions such as those found in logic and mathematics. In Peano Arithmetic, for example, exponentiation can be defined by means of the following equations: