Frege's applicability constraint holds that any adequate philosophy of mathematics must explain why ...