6.231 È una proprietà dell'affermazione che essa possa essere concepita come doppia negazione.

È una proprietà di «1 + 1 + 1 + 1» che essa possa essere concepita come «(1 + 1) + (1 + 1)».