Godel's incompleteness theorem exists in a particular deductive system, it in no way holds weight outside of that system. His completeness theorem shows the mat

Godel's incompleteness theorem exists in a particular deductive system, it in no way holds weight outside of that system. His completeness theorem shows the mathematical logic is complete. Different deductive frameworks have different axioms. All of which are essentially irrelevant to inductive systems like the natural sciences, for which Popper is writing.