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

Британский философ Бертран Артур Уильям Рассел прожил почти век, ему не хвалило всего двух лет до столетнего юбилея (1872-1970). Притом все свои годы он провел очень интенсивно, до глубокой старости сохранив как кристальную ясность ума, так и свежесть душевных переживаний, включая любовные...