> 『整数』『素数』『自然数』が問題文に与えられたら、
> その全てを列挙してしまうくらいでいい。
現在のコンピュータの性能を考慮すると、それで
あらかたうまくいってボロが出ないだろうとは思うんだが、
筋を通すんだったら、「１は自然数」「自然数＋自然数は
自然数」ってところから自然数の諸性質を証明して、
0 とマイナスの自然数から整数を定義して …… みたいな
形で持ってゆきたいな。
「１はなぜ素数ではないのか？」とか「０はなぜ自然数では
ないのか？」とかみたいな質問が出てきたときに、コンピュータが
どれだけ丁寧に答えられるか、というところに興味があるし、
それぞれ別のアプローチで初等整数論を教えたコンピュータを
相互学習（必ずしも自然言語を経由させなくてもいい）させたら
何が起きるか？とかは、かなり興味深い。
