This concern of logicians and mathematicians with syntax (as Carnap calls it) is perennial, but in modern times it has become in creasingly searching and explicit, and has even prompted, as we see, a linguistic philosophy of logical and mathematical truth.