Godel-Rosser's incompleteness theorem, generalized and optimized for definable theories