Аксиома
Аксио́ма (Ancient Greek: ἀξίωμα «утверждение, положение») или постула́т — исходное положение какой-либо теории, принимаемое в рамках данной теории истинным без требования доказательства и используемое при доказательстве других её положений, которые, в свою очередь, называются теоремами[1].
Спектральная теорема
Спектральная теорема — наименование утверждений из класса теорем о линейных операторах или о матрицах в линейной алгебре и функциональном анализе, дающих условия, при которых оператор или матрица может быть диагонализирован, то есть представлен диагональной матрицей в некотором базисе (в бесконечномерных пространствах эта концепция о диагонализации требует некоторых уточнений). Вообще говоря, спектральная теорема выделяет класс линейных операторов, которые могут моделироваться  — простейшими операторами, какие только могут быть. Более абстрактно, спектральная теорема является утверждением о коммутативных .