| HN Mirror

Okay, I see a link to 'infinity' there, because there are infinitely many reals. Is that what you're going for?

If so, the link seems irrelevant and in particular I don't see how this leads to circularity in the definition. Can you explain this further?