Soit \(A\) une partie de \(\N^*\) contenant \(1\) et telle que
1
\(\forall n\in \N^*,\: n\in A \Rightarrow 2n \in A\);
2
\(\forall n\in \N^*,\: n+1\in A \Rightarrow n \in A\).
Soit \(A\) une partie de \(\N^*\) contenant \(1\) et telle que
\(\forall n\in \N^*,\: n\in A \Rightarrow 2n \in A\);
\(\forall n\in \N^*,\: n+1\in A \Rightarrow n \in A\).