by Jean Barbet | Jul 9, 2023 | Logic, Number Theory, Set Theory
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...
by Jean Barbet | May 29, 2021 | Logic, Set Theory
Russell’s paradox or antinomy is a very simple paradox in naive set theory, which arises when one tries to define a “set of all sets”. Its resolution relies on the introduction of the notion of class and the distinction of sets among classes. Thanks...