The great philosopher Kurt Godel showed that the entire process of reasoning can be formalized based on only finitely many axioms and rules of inference and to a great extent can be mechanized. In this talk we shall give an overview of Godel's work known as the completeness theorem.