noi’d agree the algorithm’s output contains may contain all true sentences of arithmetic if it’s breadth first unsure, maybe there are self-referential things that need addressing let’s tr6 out the proof that’ said to be shorter