User talk:Wythagoras/Strong ordinal notation