let $A1$, $A2$, $A3$...$An$ be an enumeration of all the wfs of L, I am trying to construct a method that allows to build this list. This challenge appears in the demonstration of Proposition 2.21 of the book Logic for Mathematicians of Alan G. Hamilton:
