axiomes independents

m
pl
Matemàtiques

Conjunt d’axiomes tals que cap d’ells no es pot deduir dels altres.

Per a demostrar aquesta independència es donen models que satisfan certs axiomes, però no els altres.