This course will begin with understanding the fundamentals of Modal Logic such as Necessity and Contingency, Possible Worlds, Modal Operators, Systems of Modal Logic and Properties of Relations (System T. System S4. System S5) and Set Theories and Relations. The course will then address the function of Metalogic, Metalanguage and Object Language. Topics such as Diagnolization: Cantor’s Proofs and Axiomatic System and Incompleteness, i.e. Godel’s Proof will be discussed.