This question is about Formal Statement Logic

2. The formal systems Fi and F2 are defined as follows Both have an alphabet consisting only of the symbol A. In both cases, the wff's are all strings and the single axiom is A (a) (1 marks) The single rule of F is: from infer zAA. Describe the set of theorems of Fi (b) (3 marks) The single rule of F2 is: from r infer r. Describe the set of theorems of F. Prove le of F1 is: from your claim