Formální důkaz

Kompletní a přesvědčivý matematický argument představující plné logické ospravedlnění pro každý důkazový krok a pro pravdu věty nebo sady vět.

Použito v metodice