 Given the functional character of the relation of immediate succession, one can write m = sn when m immediately succeeds n. One especially important consequence of Frege’s definition of Nx is that it enables one to prove, as a purely logical result, the Principle of Mathematical Induction: 