User:Wythagoras/Strong ordinal notation