Many people apply the theorem $1+1=2$, but how many understand in detail the proof given by Russell and Whitehead in Principia Mathematica? Well, I suppose there are other proofs available....