Paraphrase strategies (Field, Hellman) can restate all true arithmetic claims using second-order log...