consistency Definition and 1 Threads

I have come across several preprints by Prof. Sergei Artemov, for example https://arxiv.org/abs/2508.20346 https://arxiv.org/abs/2403.12272v1 (If it has appeared in a peer-reviewed journal yet, I have not found it.) I have questions about the general approach. First, my main question...