Аксиома — это основное утверждение или принцип, принимаемое в рамках определенной теории или системы без доказательства. Аксиомы используются как исходные точки для дальнейших логических рассуждений и построения теорий. Они служат базовыми кирпичиками, на которых строятся доказательства других утверждений
ПримерыАксиомы Евклида в геометрии, которые служат основой для евклидовой геометрии.
ПримечанияАксиомы должны быть:
1. Очевидными или самоочевидными.
2. Внутренне непротиворечивыми.
3. Независимыми друг от друга (в идеале, чтобы одна аксиома не могла быть выведена из другой).