Having clarified the sense in which objectivity in understood to be social, it is worth reiterating the social constructivism account of objective mathematic knowledge. According to social constructivism, pubtished mathematics, that is mathematics this is represented symbolically in the public domain, has the potential to become objective knowledge. The application of Lakatos’ logic of mathematical discovery to this published mathematics is the process that leads to social acceptance, and thus to objectivity. Once mathematical axioms, theories, conjectures, and proofs are formulated and presented publicly, even if only in conversation, the autonomous (i.e.socially accepted) heuristic begins to work. Both the process and its product are objective, being social and logic onn which this heuristic rests are objective, also being socially accepted. It is these conventions and rules which, following conventionalism, underpin mathematical knowledge (including logic). For they provide the basis of logical and mathematical definitions, as well as the basis for the rules and axioms of logic and mathematics.