(Der Übergang auf 4 + (2 + 2) = (4 + 2) + 2 ginge nach dem Skolemschen Schema so (vor sich): 4 + (2 + 2) = 4 + ((2 + 1) + 1) = (4 + (2 + 1)) + 1 = ((4 + 2) + 1) + 1 = (4 + 2) + 2.)