Ordinal theory