各々の脳内にしか無いっぽいなら、どうやったらちゃんと定義が作れるのかって考えて組み立てることこそが数学の歴史じゃないの？＞＜