背理法を拒否した直観主義者も
((P→人)→¬P
は認めている