Vladimir_Nesov comments on A wild theist platonist appears, to ask about the path

[Vladimir_Nesov]

Recursive definitions must bottom out at some point. The ones that do not are called circular.

See Corecursion, Non-well-founded set theory, Barwise&Moss Vicious Circles.

[gRR]

Cool, thanks!