matematiksel mantık 

(Alm. mathematische Logik, f; Fr. logique mathématique, f; İng. mathematical logic) 

mat. Matematiksel önerme ve bağıntıları, doğal dillerdeki bulanıklıkları gidermek için özel bir biçimsel dilde temsil eden ve mantık kurallarını cebirsel bir yapı olarak inceleyen matematik dalı.

Matematikle yakın ilişki içinde olduğu, matematiğin temellerini araştırdığı, işlemleriyle simgeleri matematiğinkilere benzediği için çağdaş mantığa verilen ad.

Bakınız: mantık