This line of thought seems to rely on existence and verified existence being co-extensional (if not equivalent). Perhaps Kurt Gödel showed us otherwise.