Недоказові твердження в будь-якій теорії – твердження, які не можна ні довести, ні спростувати в рамках цієї теорії.
Аксіома – це правило, яке вважають правильним і яке не потрібно доводити. У перекладі з грецької “аксіома” означає прийняте положення – тобто взяли й домовилися, що це істина, з якою не посперечаєшся.
ἀξίωμα “твердження, положення”), або постула́т (від лат. postulatum – букв. потрібне), – вихідне положення будь-якої теорії, яке приймають у межах цієї теорії за істинне без вимоги доказу і яке використовують у доказі інших її положень, що, зі свого боку, називаються теоремами.