Thus the joke form, using the principal as a Halting oracle (going up a hierarchy (of complexity)), phrased such that it allows you to select an answer as correct rather than leaving it undecidable

https://en.wikipedia.org/wiki/Turing_jump

No need for the oracle to actually be correct in the joke form btw