La lógica matemática y la teoria de conjuntos son pilares fundamentales de las matemáticas modernas y tienen una gran importancia tanto teórica como práctica. Se basa en símbolos y reglas para analizar proposiciones, argumentos y sistemas matemáticos.

• Enseña a razonar de manera estructurada y a detectar errores en argumentos.

• Ayuda a diferenciar entre lo que es logicamente valido y lo que no.

• Toda prueba matemática usa principios de lógica.
  

• Números, funciones, relaciones, espacios… todo se puede definir como conjuntos.
  

• Permite agrupar elementos según propiedades comunes.