If you can formalize how you will discover such theories (i.e. how the learning our way up the ordinal hierarchy part will work), I'll be interested in seeing what you come up with.

That's the tough bit.