Mechanism, Mentalism, and Metamathematics. · Study