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

(Теорема): .