теория, изучающая вопросы интерпретациилогарифмических исчислений: отношения между языком исчисления иописываемой им реальностью - моделью теории, условия существования моделейисчислений, их практической применимости и др. В более специальном смысле- дедуктивная теория, описывающая свойства понятия истинности вформализованных языках логики и математики.






Ссылка на выделенный текст