Аксиома

Аксиома

(Axiom; от греч. axioma — «значимость, требование») — исходное положение, которое не может быть доказано, но в то же время и не нуждается в доказательстве, так как является совершенно очевидным и поэтому может служить исходным положением для других положений (см. Дедукция). Логическими аксиомами являются: закон тождества, закон противоречия, закон исключённого третьего (см. Exclusi tertii principium), закон достаточного основания. Аксиоматика — учение об определениях и доказательствах в их отношении к системе аксиом.

Смотрите также:
Дедукция
Exclusi tertii principium