This book deals with two most important branches of mathematics, namely, logic and set theory. Logic and set theory are two closely related branches of mathematics that play very crucial roles in the foundations of mathematics, and together produce several results in all of mathematics.