@user21820 Could I trouble you to have a look at
this question (which came up on meta, as well)? My feeling is that there isn't really a well-formulated mathematical question here, but I don't work with low-level logical foundations at all, so perhaps I don't know what I am talking about?