О редукции выводов арифметики в логику высказыванийстатья