これって数学で言えば、「公理」だけを与えて考えさせたら、ピタゴラスの定理とか
二次方程式の解法などを自分で導き出して、はてはフェルマーの定理なども証明してしまうという事だな。　すばらしいというか空恐ろしくなる。