I wonder if that would have a proof like the halting problem