. ’є є ’є , є x, y. є є ( z) ( . 1.6 ) є - , , (x, y), є , . UST-2000 Д17,22] ( . 1.7). . 1.7. ’ UST-2000 [22] 29