ДОКАЗАТЕЛЬСТВО, ИСЧЕРПЫВАЮЩЕЕ ВСЕ ВОЗМОЖНЫЕ СЛУЧАИ ДОКАЗЫВАЕМОГО ТЕЗИСА

доведення, що вичерпує усі можливі випадки доводжуваної тези