Перайсьці да зьместу

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

Зьвесткі зь Вікіпэдыі — вольнай энцыкляпэдыі

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

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