The (non-superfluous) use of visual thinking in coming to know a mathematical truth does in some cases introduce an a posteriori element into the way one comes to know it, resulting in a posteriori mathematical knowledge.
Yet it happens for small children, and for us bigger children similar, but more complex, examples of mathematical truths we don't know can be found.
Negative truths need truth-makers if any truths do, but they can't have them.
But human infants have no conception of God or of moral, logical, or mathematical truths, and to suppose that they do, despite obvious evidence to the contrary, is merely an unwarranted assumption to save a position.
In response, Descartes allows that the atheist does have a clear awareness (cognitio) of simple mathematical truths, but he denies that this clear awareness is "true knowledge [scientia]" (PW 2, p. 101).
There are also several non-identificationist accounts of mathematical truth that make use of properties.
In order to avoid the notorious difficulties in defining the concepts of essence and essential (or necessary) property, which, moreover, do not seem to be useful in mathematical contexts anyway since all mathematical truths are regarded as necessary, Steiner introduces the concept of characterizing property.
Thus, there is no such set as S. Logicism is the view that mathematical truths are ultimately logical truths.
And she accepts that "theories of mathematical truth or existence or knowledge do in fact appear in most mathematical debates over proper methods, alongside more typically mathematical considerations" (2007, 348).
Comparing these moral truths to mathematical truths, he said that perhaps "they're really true independent of our existence.
