Самый важный пример этого принципа – определение Фреге кардинального числа данного множества элементов как класса всех множеств, которые «подобны» данному множеству, где два множества «подобны:», когда существует взаимно-однозначное соответствие, чьей областью служит одно множество, а обратной областью – другое множество. Таким образом, кардинальное число есть класс всех тех классов, которые подобны данному классу. Это определение оставляет неизменным истинностные значения всех утверждений, в которых встречаются кардинальные числа, и избегает заключений к множеству объектов, называемых кардинальными числами, которые никогда не были необходимы, кроме как для понимания арифметики, а теперь больше не нужны и для такой цели.

Возможно, даже более важным является тот факт, что подобными методами можно избавиться от самих классов. Математика полна утверждений, которые, кажется, требуют, чтобы такие классы или агрегаты должны были быть в некотором смысле отдельными сущностями, например, утверждение «число комбинаций из п вещей любого числа есть 2». Поскольку 2" всегда больше, чем п, то это утверждение приводит к трудностям, если допускаются классы, потому что число классов сущностей в универсуме больше, чем число сущностей в нем, которые будут лишними, если классы окажутся среди сущностей. К счастью, все утверждения, в которых появляются классы, могут интерпретироваться без предположения, что существуют классы. Это, возможно, наиболее важное из всех применений нашего принципа. (См. "Principia Mathematical, 20).

Другой важный пример относится к тому, что я называю «определенными дескрипциями», то есть к таким фразам, как «четно простое», «нынешний король Англии», «нынешний король Франции».