Aspectos do primeiro teorema da incompletude de Kurt Gödel e uma análise da prova teorético informacional de Gregory Chaitin - Medeiros, Bismarck Bório de (2022)