Boolos description starts: Let [n] abbreviate n successive applications of the successor or incrementation function, starting at 0. That is, it says that [n] denotes the number n.