Page 14, Remarks. Typo:
Remarks. Although T_0 is slightly more powerful than T_1 in the sense that T_0 can prove certain exact theorems which T_0 cannot...
This should be “T_0 can prove certain exact theorems which T_1 cannot”.
Page 14, Remarks. Typo:
This should be “T_0 can prove certain exact theorems which T_1 cannot”.