INTEGERS

日曜数学者のbutchi氏が準加算なるものを考察していらっしゃるため、ここにまとめを作っておきます。議論の場となれば幸いです。注意 当ブログでは基本的に自然数といえば正の整数を意味していますが、この記事においては以上の整数を自然数とよぶことにし、自然数全体のなす集合をで表します。に関するPeano算術は仮定し…