Natural numbers are one of the first things that we all have learnt first at school. They seems to be a so root concept that it seems non-sense to have a strict definition of the natural number concept. However from a logic point of view also Natural Numbers can be formally be defined. The definition that I propose here may not be the only possible one I think, but I have ever liked this definition for its simplicity and brightness at the same time.

Search form