Formal proof that Raven matrices have no unique solution without assuming a transformation grammar

Formal proof that Raven matrices have no unique solution without assuming a transformation grammar — feedback welcome