1. (у математиці) Метод дослідження, що полягає у зведенні питань певної математичної теорії (наприклад, геометрії) до питань теорії чисел, тобто до арифметичних задач.
2. (у логіці та математичній логіці) Процес або результат кодування (представлення) об’єктів, понять, тверджень або формальних систем за допомогою натуральних чисел арифметичними засобами, що дозволяє вивчати їх властивості методами теорії чисел.