Lógica Matemática é uma sub-área da matemática que explora as aplicações da lógica formal para a matemática. Basicamente, tem ligações fortes com matemática, os fundamentos da matemática e ciência da computação teórica.$vWikipédia