Re: [isabelle] A tautological error?


there might indeed be people here who are interested in this question and
able to answer

but I recommend to ask such questions at

or at

- Gergely

> -----Original Message-----
> From: cl-isabelle-users-bounces at
> bounces at] On Behalf Of Andreas RÃhler
> Sent: Monday, July 11, 2016 2:41 PM
> To: cl-isabelle-users at
> Subject: [isabelle] A tautological error?
> Hi all,
> the Russel's Paradox constitutes a surprise:
> Doesn't it ignore the Subject-Object-Relation of all statement?No
> might define it's own definition. As someone upheld a recursive function
> here: Any recursive function must be defined before calling it, the
> is no defining-process, it comes afterwards.
> Kind of a tautological error?
> As far as Cantor is the guilty, well, Russell should have rejected
> exaggeration...
> Cheers,
> Andreas

<<attachment: winmail.dat>>

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.