 Solovay has made a posting in FOM (2006  Other Internet Resources)  in which he shows that the related statement that every complete second-order sentence \(\theta\) is categorical, is independent of ZFC.