"Il problema dell'indipendenza dei simboli primitivi di una teoria assiomatica"