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
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