It is not the case that If sentences proved from first-order arithmetic axioms are 'true' in non-standard models containing infinite natural numbers, then 'true in all models' conflates formal truth-in-a-structure with arithmetical truth about the natural numbers.
?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.