Therefore, the unprovability of Rosser consistency constitutes a substantive, not merely nominal, co...