математическая логика

Часть речифразеологизмЗначений1
  1. матем. раздел математики, изучающий математические обозначения, формальные системы, доказуемость математических суждений, природу математического доказательства в целом, вычислимость и прочие аспекты оснований математики«Именно в рамках математической логики были сформулированы теоремы Гёделя о неполноте, изменившие представления об основаниях математики.»

Источник: статья «математическая логика» в Викисловаре, лицензия CC BY-SA 4.0. Текст сокращён.