Iniciar o estudo das relações entre sistemas formais para a teoria de conjuntos e suas interpretações.