"[t]he thing is a little complicated with mathematical statements because, at least for the more complicated theorems, believing in them causes the anticipation of being able to derive them using valid inference rules".

This doesn't look to me like a special condition to be excused, but as a clear demonstration that mathematical truths can and do constrain anticipation.