What has been proposed is that proper concern of the philosophy of mathematics should include external questions as to the historical orgins and social context of mathematics, in addition to the internal questions concerning knowledge, existence, and their justification.