您即将离开知乎，请注意您的账号和财产安全。
https://plato.stanford.edu/entries/intuitionistic-logic-development/notes.html#note-6
