Brouwer-Heyting-Kolmogorow-Interpretation