proof theory Теорія доведень Джерело: Англо-український словник технічних термінів на Slovnyk.me proof scheme proofreader