 A version of platonism has been developed which is intended to provide a solution to Benacerraf’s epistemological problem (Linsky &amp; Zalta 1995; Balaguer 1998). This position is known as plenitudinous platonism. The central thesis of this theory is that every logically consistent mathematical theory necessarily refers to an abstract entity. Whether the mathematician who formulated the theory knows that it refers or does not know this, is largely immaterial. By entertaining a consistent mathematical theory, a mathematician automatically acquires knowledge about the subject matter of the theory. So, on this view, there is no epistemological problem to solve anymore.