Mechanism, Mentalism and Metamathematics · Study