Getting started into bringing in the world of philosophy to mathematics rather than bringing mathematics into the world of philosophy