Квантовая механика и финитно формализованная первопорядковая арифметикастатья