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





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