categorical Definition and 1 Threads

First-order logic is not categorical https://en.wikipedia.org/wiki/Categorical_theory meaning that infinite models cannot be defined uniquely just by axioms. Second-order logic is supposed to avoid this problem, which is one of the motivations for second-order arithmetic...