Mantık, matematikte önemlidir çünkü: Doğru sonuçlara ve kesin çıkarımlara ulaşmayı sağlar. Matematiksel düşünmenin yöntemini belirginleştirir. Matematiğin kuramsal olarak kurulmasına yardımcı olur. Matematiğin mantıksal temeller üzerinde kurulmasını mümkün kılar. Matematiksel mantık, biçimsel mantığın matematiğe uygulamalarını araştıran bir matematik dalıdır ve küme teorisi, model teorisi, yineleme teorisi ve ispat teorisi gibi alanlara ayrılır.