For example, if we are considering number-theoretic statements, such as those articulated in Peano arithmetic (PA, for short), the structures we are concerned with are ‘progressions’ or ‘ω-sequences’ satisfying PA's axioms. In this case, each particular statement S is to be (roughly) translated as