It is not the case that The argument presupposes that 'strongly represents' the proof relation in F suffices to transfer facts about standard numerals to all elements of non-standard models, but this inference requires the metatheory to already privilege the standard model.
?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.