But given any finite set (X) of true statements in Peano arithmetic I invent statement in Peano arithmetic that isn’t in that set but that you would instantly assign p=1.
It is entirely possible for P(S|X) to be < 1, although P(S|X∪{S}) = 1. There’s nothing inconsistent about updating on new evidence.
If X = { “2*2=4” }, then P(“2*2=4 ∨ 0=1“ | X) = 1, because “2*2=4 ∨ 0=1” ∈ OLC(X). However, P(“2*3=6” | X) < 1, although P(“2*3=6“ | X ∪ {”2*3=6”}) = 1.
It is entirely possible for P(S|X) to be < 1, although P(S|X∪{S}) = 1. There’s nothing inconsistent about updating on new evidence.
So then it isn’t true that P(S|X) = 1 if and only if S∈OLC(X).
If X = { “2*2=4” }, then P(“2*2=4 ∨ 0=1“ | X) = 1, because “2*2=4 ∨ 0=1” ∈ OLC(X).
However, P(“2*3=6” | X) < 1, although P(“2*3=6“ | X ∪ {”2*3=6”}) = 1.