Тоді, за аксіомою виділення, знаходиться множина (расселлова множина) така, що . Оскільки це справджується для будь-якого то справджується і для Тобто Із цього випливає, що в наївній теорії множин виводиться суперечність.