Title: Mechanism, mentalism, and metamathematics
Subjects: Gödel's theorem, Incompleteness theorems, Metamathematics, Mathematics, philosophy