Gerek Aristo'nun sistematize ettiği klasik biçimsel mantık, gerekse günümüzdeki modern mantık büyük ölçüde matematiksel mantıktır. (Modern mantığa birçok çağdaş mantıkçı tarafından neden "matematiksel mantık" denildiğini böylece anlamak mümkündür.)Mantığın matematikteki bu önemli işlevine rağmen, çok iyi bir matematikçi olmak için çok iyi bir mantıkçı olmak gerekmez. Büyük matematikçilerin çoğu, bu oyunun kurallarını oyun sırasında(yani matematik çalışmaları ve uygulamaları sırasında) öğrenirler. Ancak matematik felsefesi veya matematiğin temelleri konusunda ciddi çalışma yapmak isteyenlerin modern mantığı çok iyi bilmeleri gerekmektedir.