Larks comments on Probabilistic Löb theorem

[Larks]

″ So the following derivation principles seem reasonable, where the latin indexes (a,b,c...) are meant to represent numbers that can be arbitrarily close to zero”

so universally quantified, but in the meta language.

[redxaxder]

Thank you.