phương pháp chứng minh bằng cách đặt một giả thiết ngược lại với điều phải chứng minh và vạch rõ rằng giả thiết này dẫn đến điều vô lí.