Fantasy Rule: If y can be derived when x is assumed to be a theorem, then $$< x \supset y >$$ is a theorem.
If you want to change selection, open document below and click on "Move attachment"

#### pdfs

• owner: piotr.wasik - (no access) - Douglas Hofstadter "Goedel, Escher, Bach", p187
• owner: naraypv - (no access) - Gödel, Escher, Bach_ An Eternal Golden Braid-Basic Books (1994).pdf, p195