https://5dok.net/document/q2n0ejp6-l-brouwer-unreliability-logical-principles-new-translation-introduction.html