Большой англо-русский и русско-английский словарь
формальное доказательство
English-Russian big polytechnic dictionary
формальное доказательство
proof thread — нить доказательства
sure proof — верное доказательство
proof scheme — схема доказательства
proof theory — теория доказательств
rigorous proof — строгое доказательство