Stav dette: Introducción a la lógica deductiva y teoría de los conjuntos