Jak se v matematice ověřuje pravdivost tvrzení? Představíme základní důkazové metody – přímý důkaz, důkaz sporem, indukci i konstrukci – a ukážeme, proč jsou důkazy jádrem celé matematiky.