Unprovability and Generalized Ramsey Theory