The development of logical-mathematical instruments and concepts of Kurt Gödel's First Incompleteness Theorem - Bório de Medeiros, Bismarck (2024)