Tags
Question
Fantasy Rule: [...]
If y can be derived when x is assumed to be a theorem, then $$< x \supset y >$$ is a theorem.

Tags
Question
Fantasy Rule: [...]
?

Tags
Question
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 original toplevel document below and click on "Move attachment"

Parent (intermediate) annotation

Open it
Fantasy Rule: If y can be derived when x is assumed to be a theorem, then $$< x \supset y >$$ is a theorem.

Original toplevel documents (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

Summary

status measured difficulty not learned 37% [default] 0

No repetitions