[wavesonthing]

I didn't attempt to delve into that, so ...

With Gödel, there is the space of the possible, the invention indeed being the axiomatic foundation that engenders the space of possibilities. If the space of possibilities is disconnected, intuitive jumps are required to arrived at unreacheable truths. So yes, here we are 'discovering' -- learning the membership set of true statements -- but these are existing things only in the context of the invention, which is why it is correct to say they are discovered in a relative sense.