The Solution of the Hilbert's Sixth Problem - V. A. Vyshinskij (Control Systems and Computers, 2015)