Shrnutí? Tady je!
Definice je co nejpřesnější ohraničení či vymezení pojmu.
Matematická věta je tvrzení, jehož pravdivost musí být dokázána pomocí důkazu.
Axiom je tvrzení, které se přijímá za pravdivé bez důkazu.
Důkaz je úvaha, která zdůvodňuje platnost matematické věty. Existují čtyři typy důkazů:a) Přímý důkaz je soustava pravdivých implikací, pomocí kterých dokážeš pravdivost dané věty.b) Nepřímý důkaz se dokazuje pomocí obměněné implikace (tj. a \Rightarrow b \rightarrow \neg b \Rightarrow \neg a ).c) Důkaz sporem dokazuje nepravdivost negace původního výroku.d) Důkaz matematickou indukcí.