Rule of Generalization: Suppose x is a theorem in which u, a variable, occurs free. Then $$\forall u:x$$ is a theorem. (Restriction: No generalization is allowed in a fantasy on any variable which appeared free in the fantasy's premise.)
If you want to change selection, open document below and click on "Move attachment"

#### pdf

owner: piotr.wasik - (no access) - Douglas Hofstadter "Goedel, Escher, Bach", p218