Re: So let me get this right: (Was: NFNF vs 1NF ...)

paul c wrote:
>
> i'm sure your motives are pure. that's not my question. i'd just like
> to know: "what is the theoretical problem with RVA's?"

There are no theoretical problems with RVA's. Usually they are typed, which prevent's Russel's paradox, but even if you don't like that, then you can prevent it by restricting yourself to non-recursive values, and even if that is too strict for you you can use non-well-founded sets and still not have any problems with paradoxes.

The real question is if there are *practical* problems with RVA's. That question is much more important and also much harder to answer.

• Jan Hidders