3 ms·

I'm reminded of the textbook Axiomatic Set Theory by Suppes, which has on page 137 a proof that 3 + 1 = 4.