cousin_it comments on No coinductive datatype of integers

[cousin_it]

I know that, of course. Inserting obligatory reference to Lowenheim-Skolem for future generations doing Ctrl+F.