Formalno opisujemo jezik teorije ZFC i zasnivamo je aksiomatski, te motiviramo korištenje teorije skupova kao temelja matematike. Unutar teorije skupova strogo definiramo matematičke pojmove kao što su funkcije, brojevi i razne matematičke strukture.