Аксиома
Аксио́ма ( «утверждение, положение») или постула́т — исходное положение какой-либо теории, принимаемое в рамках данной теории истинным без требования доказательства и используемое при доказательстве других её положений, которые, в свою очередь, называются теоремами.
Основная теорема о рекуррентных соотношениях
Следующие соотношения не могут быть решены с применением основной теоремы:Во втором примере разница между formula_1 и formula_47 может быть выражена соотношением formula_53. Из него видно, что formula_54 для любой константы formula_55. Следовательно, разница не является полиномом и основная теорема неприменима.