Equiconsistency results constitute a rigorous basis for comparing theorems across differently-expres...