Идет 1902 год, немецкий философ, а заодно логик и математик, Фридрих Людвиг Готлоб Фреге терпеливо трудится над вторым томом "Основных законов арифметики". И вот, когда основная работа подходит к концу, к нему приходит письмо от другого мастодонта логики - англичанина Бертрана Рассела...

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