Некорректность базисной арифметики относительно строгой примитивно- рекурсивной реализуемости для языка базисной логикистатья