A kijelentések a matematika építőkövei, ám a ház nem csupán építőkövekből áll. Kötőanyagra is szükség van, hogy értelmes struktúrákat állíthassunk össze belőlük. Ezt a szerepet töltik be a bizonyítások, amelyek a matematikusi munka betetőzését képezik. Rögzítik, mi igaz és mi nem, de ami még sokkal lényegesebb, a megértésről tanúskodnak.