this second type, a rule of truth, is not supposed to specify all the truths of the language; it merely stipulates, re cursively or otherwise, a certain multitude of statements which, along with others unspecified, a re to count as true.