It would appear that we sit down to a list of expressions and check off as arbitrarily true all those which, under ordinary usage, arc true statements involving only our logical primitives essentially; but this picture wanes when we reflect that the num ber of such statements is infinite.