直観主義論理 五つの定理の同値性 - Qiita

# 概要 直観主義論理 と 古典主義論理 の違いは <排中律> を公理として採用するか否かであると言われています。一方、<二重否定除去> を <排中律> の代わりに公理にしてもよいとも知られています...