Text this: Técnicas de demostración de indecibilidad e inseparabilidad en teorías formales