I think this is a category error. Those are properties of systems of logical axioms. But LLMs are not logical; they are statistical. It can only 'believe' a st

I think this is a category error. Those are properties of systems of logical axioms. But LLMs are not logical; they are statistical. It can only 'believe' a statement is true in the Bayesian sense, where the statement agrees with the priors.