最近現代数理論理学序説を読み始めました。今日は体系CLwで遊びました。Lazy Kを触ったことがあったので、この体系にはどういう意図があるのかはなんとなくわかった上で進められました。 本に載っていない命題で、次のようなものを見つけて証明しました は許…