Do you know what structural induction and complete induction are? Have you read example proofs using these methods? Do you understand the recursive definition of formulas? (By the way, what do "sorted lists of integers" have to do with formulas?) In other words, please describe precisely your difficulty.