Por outras palavras, a condição de unicidade depende da lógica subjacente da axiomatização.

A condição de unicidade depende do relacionamento semântico entre estruturas (ou sistemas) e proposições que são verdadeiras ou falsas nelas.