Natural arithmetic is the science of natural numbers: it is based on addition, multiplication, natural order and divisibility. Now, all these operations and relations are defined on the basis of the single successor function, whose properties are brought together in...
Bienvenue sur La Règle et le Compas ! Pour lire les articles du blog en intégralité, merci de vous connecter. Si ce n'est déjà fait, vous pouvez vous inscrire librementici sur MATHESIS.
