In a critical development of fundamental importance, Dedekind observed that his axioms determine a unique mathematical structure—in other words, that they are categorical, which means that all systems obeying these rules are isomorphic copies of one another. Theorem 2. Any two models of Dedekind arithmetic are isomorphic.
