Je to jedna z vlastností, ktorú musí spĺňať správna axiomatika: zaručuje, že uznané axiómy si medzi sebou neodporujú.