Макеты страниц
Распознанный текст, спецсимволы и формулы могут содержать ошибки, поэтому с корректным вариантом рекомендуем ознакомиться на отсканированных изображениях учебника выше
Также, советуем воспользоваться поиском по сайту, мы уверены, что вы сможете найти больше информации по нужной Вам тематике
МЕТАТЕОРИЯ
— логическая теория, изучающая свойства некоторой другой теории, именуемой предметной (напр., металогика — это логика, изучающая свойства соответствующего предметного логического языка). В качестве предметной теории может выступать любая теория, подвергаемая тщательному логич. анализу. Предметная теория и М. образуют единое целое, которое изучается логич. средствами. Понятие М. возникло в связи с развитием логич. формализма в работах нем. математика Д. Гильберта (1862—1943).
