Constructivist theory of truth