Кьювентри, далее, есть ещё такие интересные штуки, как классы. До этого мы считали, что любые множества могут быть частями другого множества. А почему так? В смысле, что, кроме нашего здравого смысла, который исходит из объединения кучек камней в одну большую кучку, говорит нам об этом? Да ничто. Есть теория множеств с классами. Класс - это как множество, но оно не может быть подмножеством. Если мне не изменяет память, то вообще ничего не мешает говорить о классе всех множеств. Ну да, есть такой. Множества всех множеств нет, а класс всех множеств есть. Вот так вот, хех, и утки целы, и охотники сыты.