User blog:Nayuta Ito/Googology Tale: There Was an OCF Which Collapsed an Ordinal (culumative song parody)

There was an OCF which collapsed an ordinal;

I don't know why it collapsed an ordinal - on purpose it'll be ill-defined!

There was an OCF which collapsed a cardinal;

That nested and expanded forever inside it!

It collapsed the cardinal to make the ordinal;

I don't know why it collapsed an ordinal - on purpose it'll be ill-defined!

There was an OCF which collapsed an inaccessible cardinal;

It's a sigh to collapse an I.

It collapsed the inaccessible cardinal to make the cardinal;

That nested and expanded forever inside it!

It collapsed the cardinal to make the ordinal;

I don't know why it collapsed an ordinal - on purpose it'll be ill-defined!

There was an OCF which collapsed a Mahlo cardinal;

That's not a gem, but it's an M.

It collapsed the Mahlo cardinal to make the inaccessible cardinal,

It collapsed the inaccessible cardinal to make the cardinal;

That nested and expanded forever inside it!

It collapsed the cardinal to make the ordinal;

I don't know why it collapsed an ordinal - on purpose it'll be ill-defined!

There was an OCF which collapsed a compact cardinal;

What sould we say, to collapse a K;

It collapsed the compact cardinal to make the Mahlo cardinal,

It collapsed the Mahlo cardinal to make the inaccessible cardinal,

It collapsed the inaccessible cardinal to make the cardinal;

That nested and expanded forever inside it!

It collapsed the cardinal to make the ordinal;

I don't know why it collapsed an ordinal - on purpose it'll be ill-defined!

There was an OCF which collapsed a stage cardinal;

It's ill-defined, of course!