Non-Standard-Logic を研究し尽くした者からの忠告:−

「直観主義論理学」なんかに染まるんじゃないよ。 あれは「失敗した理論」やからね。 w