Title: On Some Doubts Concerning the Formal Correctness of Gödel's Incompleteness Theorem