13 Sep
2023
13 Sep
'23
8:44 a.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