https://123dok.net/document/qo51eo0m-peanoaxioms-contents-naturalnumbers-conceptsinabstractmathematics.html