Счётное множество - это либо конечное, либо равномощное натуральным числам множество (иными словами, каждому элементу можно сопоставить натуральное число взаимно однозначно, то есть так, что ни один элемент в таких множествах не будет пропущен).
Назовём прилагательное самоприменимым, если оно обладает тем признаком, который само описывает. Например, прилагательное "русский" самоприменимо, а "зелёный" — нет. Вопрос: будет или нет таковым прилагательное "несамоприменимый"? Каждый из ответов ("да" или "нет") ведёт к противоречию.