- метаматематический
- adj. metamathematical
Русско-английский словарь математических терминов. — Американское математическое общество. Э.Д. Лоувотер. 1990.
метаматематический
Смотреть что такое "метаматематический" в других словарях:
метаматематический — метаматематический … Орфографический словарь-справочник
метаматематический — метаматемат ический … Русский орфографический словарь
МЕТАТЕОРИЯ — (от греч. meta после, за, позади) теория, изучающая язык, структуру и свойства некоторой др. теории. Теория, свойства которой исследуются в М., называется предметной, или объектной, теорией. Наиболее развиты М. в логике и математике (металогика И … Философская энциклопедия
НЕПРОТИВОРЕЧИВОСТЬ — свойство формальной системы, состоящее в том, что не каждая формула этой системы доказуема в ней. Формальные системы, обладающие этим свойством, наз. непротиворечивым и, или формально непротиворечивым и. В противном случае формальная система наз … Математическая энциклопедия
Научные организации в области логики — Научные организации в области логики это философские и математические научные организации, область исследований которых относится к логике Содержание 1 Организация логики в России … Википедия
Непротиворечивость — Сюда перенаправляется запрос «Несовместимость». На эту тему нужна отдельная статья. Непротиворечивость свойство формальной системы, заключающееся в невыводимости из неё противоречия. Если отрицание какого то предложения из системы может… … Википедия
