Brouwer-Heyting-Kolmogorov-Interpretation