That’s not Goedelian at all, it’s a variant of Russell’s paradox and can be excluded by an analogue of the theory of types (which would make Y an illegally self-referential probability assignment).
That’s not Goedelian at all, it’s a variant of Russell’s paradox and can be excluded by an analogue of the theory of types (which would make Y an illegally self-referential probability assignment).