今日の数学者は、実践として帰納的方法を採らない。