But according to your current beliefs, in the actual world the theorem is necessarily true and its negation impossible
Whuh? I have logical uncertainty about the theorem.
Whuh? I have logical uncertainty about the theorem.