La existencia de diferentes modelos puede permitir establecer la independencia de algunos axiomas.