2.3 Axiomy, definice, věty a důkazyZákladem logické výstavby matematiky je soubor axiomů, t.j. matematických výroků, které se považují za pravdivé a nedokazují se. K zavedení nových pojmů slouží definice, která stanoví název pojmu a určí jeho základní vlastnosti. Věta v matematice je pravdivý výrok, který musíme logicky odvodit - dokázat - z axiomů, definic a dříve dokázaných vět. Podle použitých postupů rozlišujeme důkaz přímý, nepřímý, důkaz sporem, důkaz matematickou indukcí.Příklad 2.6 Věta:...