Text this: El Teorema de indecidibilidad de Church (1936): Formulación y presentación de las ideas principales de su prueba.