  This proof of Godel's first incompleteness theorem doesn't require
omega-consistency, nor does it refer to codes of negated sentences as in
Rosser's. It begins from where Godel's usual proof ends, and stalks it till it
ends proving it.
