Mathematics and Metaphilosophy