After familiarizing ourselves with the notation of set theory in the previous lesson, we now introduce the standard axiomatization of set theory used in modern mathematics. As we are not doing a deep-dive into axiomatic set theory, however, this discussion is more for background than anything else.