3 ms·

or he could ask an academically trained philosopher of mathematics and probably receive a much more insightful response