背理法は「排中律」が成り立つ論理系でしか使えない。