Kurt Godel’s Rebuttal of Formalism in Mathematics. ZJSSH 2022, 8, 31-39.