Good parts

http://akuklev.livejournal.com/1179506.html

пошла такая пьянка - писать хорошее про то, где был

Архангельск - мы не отличали евреев, русских, нерусских... все были как бы равны; и можно было в 7 лет гулять по улицам хоть до двух ночи (летом, естественно, когда светло); и ходить куда-то в лес зимой на лыжах, летом за грибами этак километров за десять от дома; свобода была; и жгли шины в августе на пляже, потому что холодрыга; и не только дети, но и родители дружили; вот не припомню, чтобы кто-то на кого-то зло держал.

Питер - там культуры столько! И длинная теплая мокрая осень; кленовые листья по асфальту, фонари, фонтанка. И балет, филармония, и Эрмитаж, и Русский Музей; и проходные дворы.

Москва - ну там же есть два музея, а также всегда найдется, с кем выпить.

Новгород - древняя столица Руси; там каждый камень как святой.

Украина... Крым, Харьков, Полтава, Новгород Северский, Одесса... все такое душевное. А уж Киев - я там чувствовал себя как дома; атмосфера эта, люди; так бы там бы и жил.

Швеция - собственно, только Стокгольм и видел, город Карлсона (с одним Карлсоном и знаком был; их семья целым островом владеет). Королеву видел, садилась в машину, за руль. Почти как в сказке.

Норвегия - самая красивая страна, что я видел; и народ простой, наивный и душевный.

Лондон - это уже совсем как в сказке, смешные кокни со смешным выговором, дети в клетчатых костюмчиках, с гувернантками; легендарные названия улиц; ходишь как по книжке.

Греция, как не любить Грецию! Коринф, Олимпия, Спарта, Микены, Аргос! Словами... ну разве что мандельштамовскими. Божественная пена.

Италия тоже - как в музей приехал, все станции знакомые; в Риме как будто век там жил, и карта не нужна, все понятно, вот Колизей, вот Ватикан, вот Тибр; и, чтобы общаться, достаточно выучить пару матерных выражений (типа che cazzo vuoi), остальное само собой. Флоренция, она мне и так сколько раз снилась, пока в совке жил, эх.

Мексика, вот мы тут типа две недели жили в Чапале, болтались по окрестностями, и по музеям, и по барриосам; ну мы ж не американские туристы с фотоаппаратами, мы у ребятишек спрашиваем, как к такому-то местному пройти, конечно, как дома (как дома в Архангельске). И обсидиан прямо на полях валяется.

Канада, о! Природа! Кемпграунды! Девушки в Британской Колумбии красивые, как в Украине. Душевная конная полиция; и медведи на дорогах.

США это моя теперь родина, что уж тут говорить; я здесь дома.

set of types, set of formulas

Why t.f. are they all called sets, in the casual speak? Could be as well lists, right? We know what a list is. Nowhere in logic anybody applies comprehension or foundation or choice axioms to the "sets of formulas"; they also don't have to be infinite. If they are, we need to specify, what kind of infinity.