Kolmogorov Program on Foundations of Mathematicsдоклад на конференции