1: \begin{definition}

2: We will denote by $\psn$ the collection of sentences expressing

3: properties $(\ref{S:AAA})$ and $(\ref{S:axiome:unendlich})$ in

4: Theorem \ref{T:axiome}.

5: \end{definition}

6: