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

 

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

© Автор статьи.