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