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