Відкрити головне меню

Аксіоми Пеано — одна із систем аксіом для натуральних чисел.

Див. також: Пеано

В 1860-тих роках Герман Грассман показав, що багато тверджень арифметики можуть виводитись через властивості наступного числа та математичну індукцію.

Основуючись на його роботах Ріхард Дедекінд в 1888 запропонував систему аксіом для натуральних чисел, яка в 1889 була уточнена італійським математиком Джузеппе Пеано.

Аксіоми Пеано дозволили формалізувати арифметику.

Хоча, із теореми Геделя про неповноту випливає існування тверджень про натуральні числа, які не можна ні довести ні заперечити виходячи з аксіом Пеано. Деякі з них мають досить просте формулювання (див. теорема Гудштейна).

ФормулюванняРедагувати

СловеснеРедагувати

  • 1 є натуральним числом.
  • Число наступне за натуральним, також є натуральним.
  • 1 не є наступним ні для якого натурального числа.
  • Якщо число a є наступним за числом b та є наступним за числом c тоді b=c.
  • (Аксіома індукції) Якщо деяке твердження доведене для 1 і якщо з припущення що воно слушне для деякого натурального числа випливає, що воно слушне і для наступного за ним числа, то воно є слушним для всіх натуральних чисел.

МатематичнеРедагувати

Введемо функцію  , яка повертає значення числа, наступного після  .

  •  
  •  
  •  
  •  
  •  

Формалізація арифметикиРедагувати

В формулюванні арифметики в аксіомах Пеано число 1 заміняють числом 0, а також вводить операції додавання і множення за допомогою наступних аксіом:

  •  
  •  
  •  
  •