Phd student at University of Santiago de Compostela working on logic, metaphysics and philosophy of mathematics. He/him.