Anon01/27/26, 03:55No.16899979
The "n times" in this context means recursion, an application of the most important theorem (Dedekind, 1888) in the construction of the number systems from set theory
https://proofwiki.org/wiki/Principle_of_Recursive_Definition