Nisan comments on Reflection in Probabilistic Logic

[Nisan]

The result works for theories as simple as Peano arithmetic.