Axiom 2.2

Axiom 2.2. If \(n\) is a natural number, then \(n\pp\) is also a natural number.