возьмем предложение «я имею две руки». Это означает:
«Имеется такое а и такое b, что а и b не тождественны, и каким бы ни был х, предложение «х является моей рукой» истинно тогда и только тогда, когда х есть а или x есть b».
Здесь слово «два» не встречается. Правда, встречаются две буквы, а и b, но нам нет надобности знать, что их две, так же как нам нет надобности знать, что они черные, или белые, или какого бы то ни было другого цвета.
Таким образом, числа являются, в определенном точном смысле, формальными. Факты, которые проверяют различные предложения, утверждающие, что разные совокупности, имеющие каждое по два числа, имеют общим не составную часть, но форму. Этим они отличаются от предложений о статуе Свободы, о Луне или о Джордже Вашингтоне. Такие предложения относятся к отдельной части пространства-времени; это то, что имеется общего между всеми утверждениями, которые можно высказать относительно статуи Свободы. Но нет ничего общего между такими предложениями, как, например, «имеется два таких-то», за исключением общей формы. Отношение символа «два» к значению предложения, в котором он встречается, значительно более сложное, чем отношение символа «красный» к значению предложения, в котором он встречается. Мы можем сказать, что в определенном смысле символ «два» ничего не означает, потому что, когда он встречается в истинном утверждении, там не имеется соответствующей составной части в значении этого утверждения. Мы можем продолжать, если нам нравится, говорить, что числа являются вечными, неизменными и т. д., но мы должны добавить, что они являются логическими фикциями.