This paper brings up some important points about logic, e.g., mathematical logic, and also an inconsistence in logic as per Godel’s incompleteness theorems which state that there are mathematical truths that are not decidable or provable. These incompleteness theorems have shaken the solid foundation of mathematics where innumerable proofs and theorems have pride of place. The great mathematician David Hilbert had been much disturbed by them. There are much long unsolved famous conjectures in mathematics, e.g., the twin primes conjecture, the Goldbach conjecture, the Riemann hypothesis, et al. Perhaps, by Godel’s incompleteness theorems the proofs for these famous conjectures will not be possible and the numerous mathematicians attempting to find solutions for these conjectures are simply banging their heads against the metaphorical wall. Besides mathematics, Godel’s incompleteness theorems will have ramifications in other areas involving logic. The paper looks at the ramifications of the incompleteness theorems, which pose the serious problem of inconsistency, and offers a solution to this dilemma. The paper also looks into the apparent inconsistence of the axiomatic method in mathematics. [Published in international mathematics journal. Acknowledgments: The author expresses his gratitude to the referees and the Editor-in-Chief for their valuable comments in strengthening the contents of this paper.]