直観主義論理では成り立たない
排中律
直観主義論理では排中律が成り立たない
背理法
二重否定除去
対偶の除去
#直観主義論理
直観主義論理でも成り立つ