Hacker News new | ask | show | jobs
by measurablefunc 166 days ago
Arithmetic is not a categorical theory, meaning there is no unique model for it: https://math.stackexchange.com/questions/4667959/are-there-n...