D. Strauss, “Defining mathematics”, aa, vol. 43, no. 4, pp. 1–28, Dec. 2011.