Matematiksel mantık, biçimsel akıl yürütme sistemlerini matematiksel yöntemlerle inceleyen alandır. [1]
TEMEL ÖZELLİKLER
Önerme ve yüklem mantığı, model kuramı, kanıt kuramı, hesaplanabilirlik ve kümeler kuramı temel dallardır; tutarlılık ve karar verilebilirlik soruları matematiğin temellerini aydınlatır. Kavramın kapsamı, alanın yerleşik terminolojisi ve doğrulanabilir bulguları çerçevesinde değerlendirilir. Benzer terimlerle arasındaki farklar kullanım bağlamına göre belirtilir; tarihsel bilgi ile güncel uygulama birbirine karıştırılmaz. Konunun etkileri yalnız tanımla sınırlı değildir: yöntem, kurum, çevre ve toplumsal sonuçlar birlikte ele alındığında maddenin hangi koşullarda geçerli olduğu daha açık görülür. Ölçüm ya da sınıflandırma varsa kullanılan ölçek açıklanır; istisnalar ve bölgesel farklılıklar genellemeden ayrı tutulur. Böylece okur hem temel tanımı hem de uygulamadaki sınırları aynı çerçevede değerlendirebilir. [1][2]