Wiskundig bewijs pretendeert absolute waarheid te zijn: een wiskundige bewijst volgens formele regels die onomstotelijk zijn. En daar zit volgens Rosalie Iemhoff (Wiskundige Logica, UU) een bepaalde schoonheid in. Van een kroeggesprek, via de rechtspraak en de stelling van Pythagoras naar abstracte bewijzen. Hoor over ontdekken, vermoedens en keihard, wiskundig bewijs.