'''МАТЭМАТЫЧНАЯМатэматычная ЛОГІКАлогіка''', '''тэарэтычная логіка''', '''сімвалічная логіка''', — раздзел матэматыкі, які вывучае матэматычныя доказы і пытанні асноваў матэматыкі.▼
{{Тупіковы артыкул}}
▲'''МАТЭМАТЫЧНАЯ ЛОГІКА''', '''тэарэтычная логіка''', '''сімвалічная логіка''', раздзел матэматыкі, які вывучае матэматычныя доказы і пытанні асноваў матэматыкі.
Ідэя будовы універсальнай мовы для ўсёй матэматыкі была выстаўлена [[Лейбніц|Лейбніцам]]ам. Першыя навуковыя працы ў галіне матэматычнай логікі з'явіліся ў 19 ст. (гл. [[Гісторыя матэматычнай логікі|Гісторыя матэматычнай логікі]]).