公理系のとりかたなどが歴史的事情に依存したものであるとすれば、
人類がいったん亡びて再び地球上を支配する知的生物が登場した場合に
彼らの数学の体系はかなり今の人類のものとは異なるかもしれないし、
あるいは地球外に知的生命体が数学的な学問を有していたならば、
それもまた、異質のものかもしれない。