If I recall properly, at the time I was "building maths from the ground up (aka axioms)", I was very uncomfortable with THE axioms: this mixing between discret/

If I recall properly, at the time I was "building maths from the ground up (aka axioms)", I was very uncomfortable with THE axioms: this mixing between discret/finite concepts/objects and infinite concepts/objects was too easy for my taste.