SENTENCES OF TYPE THEORY - THE ONLY SENTENCES PRESERVED UNDER ISOMORPHISMS