Логіка математична

1) у широкому розумінні – міждисциплінарний напрям досліджень, інтерпретація формальної логіки математичними методами; 2) розділ математики, що вивчає логічні підстави математичних теорій (формальні системи, доказовість математичних суджень, обчислюваність, визначуваність, теорію моделей та ін.)