Mechanism, Mentalism and Metamathematics