Математичне речення, правильність якого доводиться, називають теоремою. Математичну пропозицію, що приймається без доказу, називають аксіомою.
Θεώρηώ — міркую математичне твердження, істинність якого встановлена шляхом доказу. Докази теорем спираються на раніше доведені теореми та загальновизнані твердження (аксіоми).
Концепція аксіоми Аксіома – Це правило, яке вважають вірним і яке не потрібно доводити. У перекладі з грецької «аксіома» означає прийняте становище – тобто взяли і домовилися, що це істина, з якою не посперечаєшся.
Наприклад, у словнику Даля аксіома — це «очевидність, ясна і безперечна істина, яка потребує доказів».