It is not the case that A consistency proof relative to a restricted model does not establish consistency of the full theory unless the model is demonstrably a model of all axioms.
?Set your confidence on the premises below to see your aggregate.
No one has weighed in yet. Be the first to share reasons for or against this statement.