Аксиома
Аксио́ма ( «утверждение, положение») или постула́т — исходное положение какой-либо теории, принимаемое в рамках данной теории истинным без требования доказательства и используемое при доказательстве других её положений, которые, в свою очередь, называются теоремами.
Аксиома
Сейчас аксиомы обосновываются не сами по себе, а в качестве необходимых базовых элементов теории — аксиомы могут быть достаточно произвольными, они не обязаны быть очевидными. Единственным неизменным требованием к аксиоматическим системам является их внутренняя непротиворечивость. Критерии формирования набора аксиом в рамках конкретной теории часто являются прагматическими: краткость формулировки, удобство манипулирования, минимизация числа исходных понятий и т. п. Такой подход не гарантирует истинность принятых аксиом. В соответствии с критерием Поппера, единственный отрицательный пример опровергает теорию и, как следствие, доказывает ложность системы аксиом, при этом множество подтверждающих примеров лишь увеличивает "вероятность" истинности системы аксиом.