Аксиома

(от греч. axioma — значимость, требование) — 1) (в математике) — предложение, принимаемое без доказательства, рассматриваемое как исходное при построении той или иной математической теории. Система аксиом, являющаяся логическим фундаментом обоснования математической теории, не является раз и навсегда законченной и совершенной и, как и сами аксиомы, изменяется и совершенствуется. К системе аксиом предъявляются требования: непротиворечивости, независимости и полноты. Аксиома также называется постулатом; 2) (в логике) — отправное, исходное положение, которое не может быть доказано, но в то же время и не нуждается в доказательстве, т. к. является совершенно очевидным и поэтому может служить исходным для др. положений. Логическими аксиомами являются: закон тождества,  закон противоречия,  закон исключенного третьего  (сформулированы Аристотелем) и закон достаточного основания  (сформулирован Г. Лейбницем). 3) (в переносном смысле) — бесспорная, не требующая доказательств истина.