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

Зьвесткі зь Вікіпэдыі — вольнай энцыкляпэдыі
Перайсьці да: навігацыі, пошуку

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

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

Літаратура[рэдагаваць | рэдагаваць крыніцу]