 The fact that no two natural numbers have the same successor is somewhat more difficult to prove (cf. Gl, §78, Item (5); Gg I, §95, Theorem 89). We may formulate this theorem as follows, with \(m\), \(n\), and \(o\) as restricted variables ranging over the natural numbers: 