Пусть М есть множество всех таких множеств, каждое из которых не является своим собственным элементом. Легко убедиться, что М является своим элементом тогда и только тогда, когда М не является своим элементом.