13 Sep
2023
13 Sep
'23
10:46 p.m.
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.