User blog comment:Alemagno12/First Order Theory Theory/@comment-30754445-20170810024156

The "big flaw" is that it's not well defined.

How are we to enumerate the theories T(n)? The statements S(n|T)? What does it mean "T(n)<T(m)", given that niether side of the 'inequality' are numbers?