An attempt at an amiomatic definition of the Natural Numbers in the Wolfram Language