Title: Mechanism, Mentalism and Metamathematics
Subjects: Metamathematics, Proof theory