> Within the context of a system with certain algebraic properties. The algebraic properties are those that formalize arithmetic, so this encompasses almost a

> Within the context of a system with certain algebraic properties. The algebraic properties are those that formalize arithmetic, so this encompasses almost any reasonable system