序数算术

ordinals arithmetics