Title: Outlines of a formalist philosophy of mathematics
Subjects: Mathematics, Philosophy