For example, 5 + 7 = 7 + 5 is provable in Q, but the general statement x + y = y + x is not.
例えば 5 + 7 = 7 + 5 はQで証明可能だが、一般的な言明 x + y = y + x は証明できない。