Desenvolver a teoria axiomática ZFC e fazer uma introdução à teoria dos conjuntos e suas principais aplicações.