Month: January 2015

Consider the Benacerraf identification problem in philosophy of maths: there are multiple different ways of “defining” natural numbers in terms of sets, so there is no way of determining which definition is the “correct” one. This is not just a problem about natural numbers but they’re a useful notion to introduce the problem with. In fact,… →