数学とは仮定の学問である、と言われる。
つまり仮定から純粋に論理的に導かれる結論のみを研究対象とする。
虚数が何であるかは問わない、虚数の満たすべき性質からの結論が重要。
この定義からすると、ロジックはもちろん、
計算機科学の理論系や理論物理の数学よりの大半は数学である。