But this gives non-associativity of value.
Nitpick, I think you mean non-commutativity, the ordinals are associative. The rest of your post agrees with this interpretation.
Oops, yes. Edited in original; thanks!
Nitpick, I think you mean non-commutativity, the ordinals are associative. The rest of your post agrees with this interpretation.
Oops, yes. Edited in original; thanks!