>>563
自然数から整数を構築するってのは、
2つの自然数の組に同値類を入れるやり方だよな。
和はともかく、積はどうやって定義してるんだ?