Словарь по логике

Формальный язык: В рамках нашего подхода отождествляется с множеством ППФ данного языка. И, следовательно, совпадает с противоречивой теорией в данном языке.