  One of the chief difficulties for Carnap is to explain the truth of internal statements. If ‘there are propositions’ is true, even within a framework, what does its truth consist in? If truth in a framework is explained in terms of truth given the axioms of the framework, we will want to know about the truth-value of the axioms themselves. If they are true, what makes them true? If they are not true, why can’t we conclude that there really are no propositions?