That is, it is logically possible that there are ω-sequences satisfying PA's axioms. Following this approach, truth preserving translations of mathematical statements can be presented without ontological costs, given that only the possibility of the structures in question is assumed.