Аксіёмы Пэана

Аксіёмы Пэана — сыстэма аксіёмаў, якія вызначаюць шэраг натуральных лікаў.

Аксіёмы Пэана дазволілі фармалізаваць арытмэтыку. Пасьля ўвядзеньня аксіёмаў сталі магчымыя доказы асноўных уласьцівасьцяў натуральных і цэлых лікаў, а таксама выкарыстаньне цэлых лікаў для пабудовы рацыянальных і рэчыўных лікаў.

Літаратура

• Peano, G. Arithmetices principia, nova methodo exposita. Bocca, Torino, 1889.
• Арнольд И. В. Теоретическая арифметика. М.:Учпедгиз, 1938 (змест і djvu-файл з поўным тэкстам).