SOME USES OF METAMATHEMATICS