Assertion: mathematician | /r/HasProperty | peano
Facets:
Source sentences:
text: For the natural numbers, the functional definition was given in the 19th Century by the mathematician Peano, and almost always when someone suggests a new way of defining the natural numbers, the bottom line is that they show that their new concept (i.e. new construction) satisfies the Peano axioms.