Rosser's 1936 result shows weaker consistency suffices for incompleteness, but the specific claim ab...