Arithmetic is not a categorical theory, meaning there is no unique model for it:...

		measurablefunc 70 days ago \| parent \| context \| favorite \| on: Some Junk Theorems in Lean Arithmetic is not a categorical theory, meaning there is no unique model for it: https://math.stackexchange.com/questions/4667959/are-there-n...