The Last Mathematician from Hilbert's Göttingen: Saunders Mac Lane as Philosopher of Mathematics