Illustrations of a Realist Methodology for the Philosophy of Mathematics