Rosser's theorem

تحويل مبرهنة روسر