Все помнят парадокс Рассела, который привёл к созданию современных теорий множеств, исключающих такие определения как "множество всех множеств, не принадлежащих себе". Так вот, недавно я не без удивления узнал, что множества, наоборот, принадлежащие себе — вполне даже легитимный математический объект и можно даже создать аксиоматику, позволяющую такие множества, которая бы не противоречила Цермело-Френкелевским аксиомам. И даже такие множества пытаются для чего-то там использовать, хотя это уже хвилософия какая-то. Вот, например: http://arxiv.org/pdf/0810.4339.pdf