After consolidating the material from Symbolic Logic I, we will introduce necessary background for metalogic, the study of the properties of logical systems. We will introduce set theory, historically developed in parallel to logic. We conclude with some basic metatheory of the propositional logic learned in Symbolic Logic I.