Знакомую женщину уволили с работы в 47 лет. Это был удар. На работу сейчас берут 30-летних, а предпенсионеры никому не нужны. Но она успокоилась и решила посмотреть на ситуацию с другой стороны. Работа ей не нравилась, она всегда мечтала о другой профессии. Может, не поздно выучиться? Муж поднял ее идею на смех. В лоб напомнил ей о том, сколько ей лет. Старая ты уже для того, чтобы на парах сидеть и конспекты писать. Она рыдала всю ночь. Не потому, что старая. А потому, что муж не понимает. И еще...

Идея типов в "теории типов" Рассела достаточно проста и заключается в том, чтобы терминологически отделить друг от друга объекты кажущиеся одинаковыми, в смысле существования, но являющиеся, на самом деле, совершенно различными в этом смысле. Проясним суть этого на следующем примере. Рассмотрим множество всех объектов в мире и представим его в виде перечисления: s1, s2, s3, ...sN, где N - общее количество объектов (оно может быть и бесконечно). Очевидно, что если это множество всех объектов в мире, то в мире не может быть более чем N объектов...