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

Reply via email to