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