User blog comment:Alemagno12/Beyond countable ordinals/@comment-27014275-20151115083241/@comment-26428969-20151121173408

Definer cannot define all ordinals. if it could, it would be paradoxical. also FOST can define FGH too