assiomatizzasse