| Kurt Godel’s incompleteness theorems prove that there are always at least one true but unprovable statement throgh any computable axiomatic system. Wittgenstein opposes Kurt G(o|")del’ proof methods, this article will analyze Kurt G(o|")del’s incompleteness theorems through the thoughts of later Wittgenstein’s philosophy of mathematics. We will study incompleteness theorems on issues of infinite and impredicative definitions and know more about the viewpoints of Wittgenstein’s philosophy of mathematics, and then realizie the epistemological significance of Wittgenstein’s remarks on incompleteness theorems. |