https://xmau.com/wp/ilpost/2011/06/20/i-numeri-naturali-e-gli-assiomi-di-peano/