Non-arithmeticity of truth predicate logics of provability