by Jean Barbet | Dec 10, 2024 | Logic, Number Theory, Set Theory
We explore the foundation of natural arithmetic starting from Peano’s axioms within set theory, revealing an innovative approach to conceptualizing natural numbers. We question the traditional use of ordinals and propose an alternative formulation of the axiom...
by Jean Barbet | Jun 8, 2024 | Logic, Set Theory
Based on the notions of object and class derived from natural logic, we have redefined the concept of set in an intuitive way, thus establishing a natural set theory without resorting to formal logic. This approach is based on six axioms that form the basis of this...