Это говорит о том, что нам снова следует воспользоваться критери­ем доктора Джонсона. Если мы хотим знать, действительно ли сущест­вует данная абстракция, мы должны спросить, «дает ли она ответную реакцию» сложным, автономным образом. Например, математики ха­рактеризуют «натуральные числа» 1, 2, 3,... — прежде всего — точным определением:

1 — это натуральное число.

За каждым натуральным числом следует только одно число, кото­рое также является натуральным.

1 не следует ни за каким натуральным числом.

Подобные определения — это попытки абстрактного выражения интуитивного физического понятия последовательных значений дис­кретной величины. (Точнее, как я объяснил в предыдущей главе, в дей­ствительности это понятие является квантово-механическим). Ариф­метические действия, например, умножение и сложение, а также по­следующие понятия, подобные понятию простого числа, в этом случае определяют, ссылаясь на «натуральные числа». Но создав абстрактные «натуральные числа» через это определение и поняв их через эту ин­туицию, мы обнаруживаем, что осталось гораздо больше того, что мы все еще не понимаем о них. Определение простого числа раз и навсегда устанавливает, какие числа являются простыми, а какие не являются. Но понимание того, какие числа являются простыми, — например, про­должается ли последовательность простых чисел бесконечно, как они сгруппированы, насколько и почему они «случайны», — влечет за со­бой новое понимание и изобилие новых объяснений. В действительнос­ти оказывается, что сама теория чисел — это целый мир (этот термин используют часто). Для более полного понимания чисел мы должны определить множество новых классов абстрактных категорий и посту­лировать много новых структур и связей между этими структурами. Мы обнаруживаем, что некоторые подобные структуры связаны с ин­туицией другого рода, которой мы уже обладаем, но которая вопреки этому не имеет ничего общего с числами — например, симметрия, вра­щение, континуум, множества, бесконечность и многое другое. Таким образом, абстрактные математические категории, с которыми, как нам кажется, мы знакомы, тем не менее, могут удивить или разочаровать нас. Они могут неожиданно возникнуть в новых нарядах или масках. Они могут быть необъяснимы, а впоследствии подойти под новое объяснение. Таким образом, они являются сложными и автономными, и, сле­довательно, по критерию доктора Джонсона, мы должны сделать вывод об их реальности. Поскольку мы не можем понять их ни как часть себя, ни как часть чего-либо еще, что мы уже понимаем, но можем понять их как независимые категории, следует сделать вывод, что они являются реальными, независимыми категориями.