Talk:Irrational Number is Limit of Unique Simple Infinite Continued Fraction

There seems to be a fundamental ambiguity in the treatment of CF's at proofwiki, which is the absence of distinction between:

Continued fractions defined starting from a real number

Abstract continued fractions, that a priori do not converge.

with consequences like the one I just reported in this proof. --barto (talk) 06:20, 17 July 2017 (EDT)

Don't understand the question. --prime mover (talk) 15:48, 17 July 2017 (EDT)

Removed. The problem was elsewhere. --barto (talk) 04:22, 18 July 2017 (EDT)