Every explanation of reality becomes another part of the reality left to explain:
E(R) ∈ R → E(R) ≠ R.
Categories
outer limits: impredicativity
Every explanation of reality becomes another part of the reality left to explain:
E(R) ∈ R → E(R) ≠ R.