Describir: Lógica matemática.