Аксиома
Аксио́ма ( «утверждение, положение») или постула́т — исходное положение какой-либо теории, принимаемое в рамках данной теории истинным без требования доказательства и используемое при доказательстве других её положений, которые, в свою очередь, называются теоремами.
Основная теорема арифметики
Предпосылки основной теоремы арифметики берут свои истоки в Древней Греции. Несмотря на то, что в древнегреческой математике основная теорема арифметики в современной формулировке не встречается, в «Началах» () Евклида есть эквивалентные ей предложения. Следуя за Евклидом, многие математики на протяжении веков вносили свой вклад к доказательству основной теоремы арифметики, приводя в своих трудах близкие по смыслу утверждения, среди этих ученых , , Л. Эйлер, А. Лежандр. Первая точная формулировка основной теоремы арифметики и ее доказательство приводятся К. Гауссом в книге «Арифметические исследования» (), изданной в 1801 году. С этих пор появилось множество различных новых доказательств теоремы, конкурирующих между собой по красоте и оригинальности.