- метаматематический предикат
- мат. metamathematical predicate
Большой англо-русский и русско-английский словарь. 2001.
метаматематический предикат
Смотреть что такое "метаматематический предикат" в других словарях:
МЕТАТЕОРИЯ — (от греч. meta после, за, позади) теория, изучающая язык, структуру и свойства некоторой др. теории. Теория, свойства которой исследуются в М., называется предметной, или объектной, теорией. Наиболее развиты М. в логике и математике (металогика И … Философская энциклопедия
