13 Sep
2023
13 Sep
'23
10:44 p.m.
Boolos’s short proof of Gurt’s inc9mpletejess theorem assumes it is equivLent to saying you can’t enumerate all true statements. short proof creator named Boolos