Матэматычная логіка: Розніца паміж версіямі

Ідэя будовы універсальнай мовы для ўсёй матэматыкі была выстаўлена [[Wp/be/Лейбніц|Лейбніцам]]. Першыя навуковыя працы ў галіне матэматычнай логікі з'явіліся ў 19 ст. (гл. [[Wp/be/Гісторыя матэматычнай логікі|Гісторыя матэматычнай логікі]]).

'''Гл. таксама:''' [[Wp/be/Лагічныя злічэнні|Лагічныя злічэнні]], [[Wp/be/Логіка-матэматычныя злічэнні|Логіка-матэматычныя злічэнні]], [[Wp/be/Аксіяматычная тэорыя мностваў|Аксіяматычная тэорыя мностваў]], [[Wp/be/Алгарытмічныя праблемы|Алгарытмічныя праблемы]], [[Wp/be/Класічнае злічэнне прэдыкатаў|Класічнае злічэнне прэдыкатаў]], [[Wp/be/Канструкцыйная матэматыка|Канструкцыйная матэматыка]], [[Wp/be/Тэорыя алгебраічных сістэм|Тэорыя алгебраічных сістэм]], [[Wp/be/Тэорыя мадэляў|Тэорыя мадэляў]], [[Wp/be/Інтуіцыянісцкая логіка|Інтуіцыянісцкая логіка]], [[Wp/be/Мадальная логіка|Мадальная логіка]].