2006-05-07 直観主義 ¬¬¬A ⇒ ¬A 古典主義から公理が減っている分、証明できる論理式が少なくなっているが、さらにその中に二重否定が外せるようなお行儀のよい論理式とそうでないのがいるから3種類に分けられる感じが。 といったことをごちゃごちゃ考えていたらしい。