[deleted] comments on Bounded versions of Gödel’s and Löb’s theorems

[[deleted]]

Heh, I used the same symbol to mean “T proves in n symbols P”.