Anyone know whether it’s proven that there are guaranteed to be non-self-referential truths which can’t be derived from a given axiom system?
It is. At least, it’s possible to express Goedel statements in the form “there exist integers that satisfy this equation”.
(I’m not sure whether “self-referential” can be well-defined.)
It can’t.
It is. At least, it’s possible to express Goedel statements in the form “there exist integers that satisfy this equation”.
It can’t.