In order to maintain thoroughly hsi philosophical standpoint of Anti-realism, he rejected two-valued semantics and took Intuitionist logic as the basis of his metaphysics.

为了彻底坚持其反实在论的哲学立场，原则，把直觉主义逻辑作为其形而上学的基础。