способ построения научной теории, при котором в основу
теории кладутся некоторые исходные положения, называемые аксиомами, а все
остальные положения теории (вспомогательные - леммы и ключевые теоремы)
получаются как логические следствия аксиом. Первым примером применения
аксиоматического метода явились "Начала" Евклида (около 300 до нашей эры).