The article (is the English translation) reproduces three letters which Kolmogorov sent to Heyting, the first in 1931 questions the distinction between a proposition P and the statement "P is provable".
Ang artikulo (ay ang English translation) reproduces tatlong titik na Kolmogorov ipinadala sa Heyting, ang unang tanong sa 1,931 ang pagkakaiba sa pagitan ng isang paksa sa P at ang pahayag na "P ay provable".