Let X be a random variable taking the value 0.2 with probability 0.2, 0.4 with probability 0.4 and 0.8 with probability 0.2 and 1.0 with probability 0.2.
Using Infinitary logic I can ask the probability:
$P(X = P(X = P(X = \ldots)))$
How is is this value computed?