Объясню общие принципы теории типов, не вдаваясь в трудные технические детали. Возможно, лучше всего будет начать с того, что имеется в виду под “классом”. Возьмем пример из домашнего хозяйства. Допустим, в конце обеда хозяин предлагает на выбор три сладких блюда, настаивая на том, чтобы вы попробовали одно, два или все три, как вы пожелаете. Сколько-линий поведения открыто перед вами? Вы можете от всего отказаться. Это первый выбор. Вы можете выбрать что-то одно. Это можно сделать тремя различными способами, и, следовательно, перед вами еще три варианта. Вы можете выбрать два-блюда. Это также возможно сделать тремя способами. Или вы можете выбрать все три, что дает одну, последнюю, возможность. Общее число возможностей, таким образом, равно восьми, т. е. 23 Можно легко обобщить эту процедуру. Положим, перед вами п объектов и вы желаете знать, сколько путей имеется, чтобы ничего не выбрать, или что-то выбрать, или же-выбрать все п. Вы обнаружите, что число путей 2n. Если выразить это в логическом языке: класс из п-то количества элементов имеет 2n подклассов. Это суждение истинно и в том случае, когда п бесконечно. Кантор как раз и доказал, что даже в этом случае 2n больше, чем п. Применяя это, как сделал я, ко всем веща.м во Вселенной, мы приходим к заключению, что классов вещей больше, чем вещей. Отсюда следует, что классы не являются “вещами”. Но поскольку никто не знает точно, что означает слово “вещь” в этом утверждении, не очень-то легко тбчно сформулировать, что именно удалось доказать. Заключение, к которому я пришел, состояло в том, что классы – это просто подсобное средство в рассуждении. Классы приводили-меня в замешательство уже в то время, когда я писал “Принципы математики”. Тогда я выражал свои мысли на языке, который был реалистическим (в схоластическом смысле) в большей мере, чем мне представляется сегодня правильным.