citing and active areas of logic today are set theory, model theory and connections with computer science. Set theory addresses various ways to axiomatize mathematics, with implications for understanding the properties of sets having large infinite cardinalities and connections with the axiomatization of mathematics. Model theory investigates particular mathematic