Outlines of a formalist philosophy of mathematics - Curry, Haskell Brooks n. 1900 (1970)