it's not analogous there simply does not exist an ordinal such that but there does exist an such that on the other hand there does exist such that the smallest such is