User blog comment:MilkyWay90/Math number/@comment-35392788-20180902214346/@comment-35470197-20180903221821

You need axioms. For example, see the definition of Peano arithmetic.

Also, it is good to see the definition of first order logic.