Аксиоматика натуральных чисел

Высшая арифметика, или теория чисел, изучает свойства натуральных чисел 1, 2, 3, ... Эти числа интересуют человека с давних времен. Античные летописи говорят о том, что уже то¬гда арифметику знали глубже и шире, чем это было необходимо для нужд повседневной жизни. Но систематической, самостоя¬тельной наукой высшая арифметика становится лишь в новое время, начиная с открытий Ферма (Fermat, 1601- 1665).

Многие простые и общие теоремы высшей арифметики есте¬ственно возникают из вычислений, однако при доказательстве этих теорем часто встречаются очень большие трудности. «Эта особенность, - по словам Гаусса, - вместе с неистощимым бо¬гатством высшей арифметики, которым она столь сильно пре¬восходит другие области математики, придает высшей ариф¬метике неотразимое очарование, сделавшее ее любимой наукой величайших математиков».