It is not the case that Non-isomorphic models satisfying identical first-order axioms (e.g., standard vs non-standard arithmetic) proves provability doesn't determine unique mathematical content.
?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.