Section 3.1 (page 193):
#1. induction axioms
Section 3.3 (page 223):
#2. A_E proves qfr-free truths
#3. omega-complete extensions of A_E
#5. sequence numbers
#6. concatenating numbers
#9. last component
Section 3.4 (page 234):
#4. Thm 33F formalized
#5. no universal recursive relation
Section 3.5 (page 245):
#1. recursive inseparability of A_E
#2. incompleteness, 1931 style
#3. diagonal approach
Section 3.6 (page 263):
#1. eventually constant functions
#3. range of recursive functions
#10. covering total recursive functions