It is not the case that If the background logic used to establish the entailment is proof-theoretically stronger than the system modeling computation, the modal force of 'would entail' is theory-relative, not absolute.
?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.