(mathematics or logic) a statement or formula that has been proven to be true based on established principles

an unalterable truth; an established law or principle of the world

established rules or stipulations