The man who has learned that three plus one are four doesn't have to go through a proof of that assertion with coins, or dice, or chess pieces, or pencils. He knows it, and that's that. He cannot conceive a different sum. There are mathematicians who say that three plus one is a tautology for four, a different way of saying "four"... If three plus one can be two, or fourteen, then reason is madness.
The Book of Sand and Shakespeare's Memory (ed. Penguin Modern Classics, 2001)