\part{Formalized Set Theory}

\chapter{Zermelo-Fraenkel Set Theory (ZFC)}
