User blog comment:P進大好きbot/List of common mistakes on formal logic appearing in googology/@comment-11227630-20181018005915/@comment-32697988-20181018103852

Is there a difference between "ordinal notation" and "ordinal notation system"?