Человек, который узнал, что три плюса один - четыре, не нужно проходить доказательство этого утверждения с монетами, костями, или шахматы, или карандашей. Он знает это, и это все. Он не может зачать другую сумму. Есть математики, которые говорят, что три плюс один - это таутология для четырех, другой способ сказать «четыре» ... если три плюса могут быть двумя или четырнадцатью, то причина - безумие.