Una demostración del segundo teorema de Gödel a través de complejidad Kolmogórov - Jaimes Urbán, Ricardo (MX, 2021)