A Note on Godel's Theorem - J. Ulisses Ferreira (2019)