Talk:Rosser's theorem

Rosser's theorem in symbolic logic
It seems that there is another theorem called Rosser's theorem in symbolic logic. Disambiguation therefore required. DFH 22:45, 7 February 2007 (UTC)