  One might concede to Schiffer that the axioms are constitutive of our concept of a proposition. But why think those axioms are true? Schiffer stresses that we do not make the axioms true by saying, thinking, or “stipulating” that they are true. The mind-independence of propositions, after all, is implicit in those axioms.