Полный русско-английский словарь
Мат. method of proof, proof method, proof procedure, proof technique