сукупність методів, які дозволяють математичні судження про об'єкти довільної структури відтворити в межах елементарної арифметики.