La lógica matemática es una rama que se enfoca en el estudio formal de los procesos de razonamiento y argumentación. Una parte clave de esta disciplina es la teoría de conjuntos, la cual se encarga de agrupar y definir colecciones de objetos claramente identificables, ya sean finitos o infinitos.