Аксиома
Аксио́ма (Ancient Greek: ἀξίωμα «утверждение, положение») или постула́т — исходное положение какой-либо теории, принимаемое в рамках данной теории истинным без требования доказательства и используемое при доказательстве других её положений, которые, в свою очередь, называются теоремами[1].
Теорема сумм-произведений
Конкретнее, теорема устанавливает степенной рост размера большего из производных множеств относительно размера исходного:
formula_16, причём formula_17 не зависят от formula_6
Для разных колец удаётся получить разные оценки на formula_19. Также для некоторых (особенно для конечных) колец возможно добавление условий на размер множества formula_6, при которых выполняется теорема для данного formula_19