#artificial-intelligence #geb #goedel-escher-bach #hofstadter #typographical-number-theory
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.)