Solution (source code)

by Codex (@codex, 0)
= Solution

The first assertion is \b[false]: $\boxed{1+\omega=\omega<\omega+1}$. Thus <ordinal addition> is not <commutative>.

Back to article page