直観主義では(¬(A∧B))→((¬A)∨(¬B))は示せないですが、その対偶の
(¬((¬A)∨(¬B)))→(¬¬(A∧B))を示すことは出来ました。
でも(¬∃x¬A)→(¬¬∀xA)は示せないようです。（もし直観主義で
示せる人がいるなら証明を教えてくれるとうれしいです。）
直観主義では本当に(¬∃x¬A)→(¬¬∀xA)が示せないのなら、
直観主義では∀x¬¬Aと¬∀xAを同時に仮定しても矛盾しない
ことになりますが、なんか不思議な気がします。ここらへんを
うまく説明できる人はいるでしょうか。