Аксиоматическое построение любой математической теории начинается с перечисления неопределяемых основных понятий (объектов и отношений) и аксиом, которым должны удовлетворять основные понятия. Профессор Туринского университета Джузеппе Пеано[1] в статье «О понятии числа» (1891 г.) сформулировал пять аксиом: С аксиоматической точки зрения приводятся два понятия: Эти понятия косвенно определяются системой аксиом. Существующая система аксиом по форме несколько отличается от вышеприведенной. Натуральные числа – это элементы всякого непустого множества N, в котором для некоторых элементов a и b установлено...

Воспользуемся БСЭ. Аксиоматический метод сегодня является главным методом построения научной теории, при котором в её основу кладутся некоторые исходные положения (суждения) - аксиомы, или постулаты, и из которых все остальные утверждения этой науки (теоремы) выводятся чисто логическим путём, посредством доказательств. Такой метод называется дедуктивным. Все понятия дедуктивной теории (кроме фиксированного числа первоначальных) вводятся посредством определений, выражающих (или разъясняющих) их через ранее введённые понятия...