数学は発見なのか創作なのか。考古学のように何か眠っているものを、ただ人間が掘り出しているのだろうか。人間がいなくても数学は存在するのだろうか。