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

We can enumerate the theories T(n) and the statements S(n|T) the way we want to. The blog posts also says how to compare theories.