  Kolmogorov explicitly suggested that the proof-like objects in his  interpretation (“problem solutions”) came from classical  mathematics (Kolmogorov 1932). Indeed, from a foundational point of  view it does not make much sense to understand the  ‘proofs’ above as proofs in an intuitionistic system  which these conditions are supposed to be specifying.