2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/68632Boolos's proof of incompleteness is extended straightforwardly to yield simple ``diagonalization-free'' proofs of some classical limitative theorems of logic.6 pagesLogic03F30text