3 ms·

For the [Dedekind 1888] axiomatization of the Natural Numbers, a proposition is true if and only if it holds in the unique up to isomorphism model of the axioms

For the [Dedekind 1888] axiomatization of the Natural Numbers, a proposition is true if and only if it holds in the unique up to isomorphism model of the axioms.