Dans une théorie, proposition évidente par elle-même et qui n'est susceptible d'aucune démonstration.