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.

Reply via email to