07/06/17 13:58:35
>>563
自然数から整数を構築するってのは、
２つの自然数の組に同値類を入れるやり方だよな。
和はともかく、積はどうやって定義してるんだ？
07/06/17 13:58:35
>>563
自然数から整数を構築するってのは、
２つの自然数の組に同値類を入れるやり方だよな。
和はともかく、積はどうやって定義してるんだ？
07/06/17 13:58:35
>>563
自然数から整数を構築するってのは、
２つの自然数の組に同値類を入れるやり方だよな。
和はともかく、積はどうやって定義してるんだ？