А с чего Вы взяли, что оно с ошибкой? По-моему, оно более-менее верное. Единственное, к чему я бы, может быть, придрался (да и то вряд ли):

В этой фразе не хватает кванторов.
(Оффтоп)
Хотя нет, я б ещё к слову "докозательство" придрался бы.
(Несколько советов по TeXу)
Фигурные скобки набираются с помощью команд \{ и \}, разность множеств --- \setminus. Множество натуральных чисел и т.п. лучше набирать ажурным шрифтом: \mathbb{N}. Например, Ваше задание можно набрать так:

(я дополнительно использовал команды \Bigl и \Bigr для задания размера скобок, а также \bigcup для большого значка объединения).