EDB — 26K

[26K]Peano’s Axioms are provable in this model; moreover the order relation satisfies the requirements of Hypothesis [26H]↺↻; therefore this model of $\mathbb{N}$ enjoys all properties discussed in Sec. [1X9]↺↻: all different versions of the induction principle; $(\mathbb{N},\subseteq )$ is well-ordered; definitions by recursion; arithmetic, etc.

When we will want to compare this model with other models, we will denote it by ${\mathbb{N}}_{\text{ZF}}$.