Problem RBA-1. The Robbins question.

\{ \begin{matrix}x + y = y + x \\ (x + y) + z = x + (y + z) \\ Robbins axiom \end{matrix} \} \underrightarrow{?} \{Huntington axiom\}.