Как можно использовать кванторы и предикаты для определения множества чётных чисел?

Возможно, имелось в виду, как с помощью кванторов и предикатов определить множество чётных натуральных чисел. yandex.ru diskra.ru

Предикат можно записать, например, так: «х есть чётное число». diskra.ru Кванторы — логические операторы, которые применяют к предикатам и превращают их в ложные или истинные высказывания. spravochnick.ru

Квантор всеобщности (обозначается символом ∀x) означает «для всех x» («для любого x»). spravochnick.ru Квантор существования (обозначается символом ∃x) — выражение «существует x такое, что…». spravochnick.ru

Тогда можно записать выражение, например: «А = {х: х есть чётное натуральное число}». diskra.ru Оно означает, что «А» — множество, состоящее из всех таких элементов x, что каждое из них есть чётное натуральное число. diskra.ru

Однако есть мнение, что с помощью такого подхода нельзя определить множество чётных чисел, так как чётными могут быть не только натуральные числа. yandex.ru В таком случае вместо множества натуральных чисел в определении нужно подставить другое множество, например, множество действительных чисел. yandex.ru