どうも。仕事が忙しいのでまたまたご無沙汰してしまいました。ここからは、再び公理系の紹介に戻ります。 無限公理 無限公理 この a は を要素として含み、そのことから を要素として含みます。そして、そのことから を要素として含み…というように、無限*1…