V matematice a formální logice je to základní tvrzení, které se přijímá bez důkazu a tvoří výchozí bod celé teorie, z něj se pak odvozují další věty. Volba těchto výchozích předpokladů může vést i k odlišným, ale vnitřně konzistentním systémům.
V obecné řeči a ve filozofii označuje samozřejmý, obecně uznávaný princip nebo pravidlo, o němž se běžně nevede spor a bere se jako pevná opora při uvažování.