Geriadur ar skiantoù hag an teknikoù Dictionnaire des sciences et des techniques

sciences ◊ dans une théorie, proposition évidente par elle-même et qui n’est susceptible d’aucune démonstration

• toute théorie mathématique repose sur un ensemble de définitions d’objets mathématiques et d’axiomes qui fixent les propriétés élémentaires de ces objets
  diazezet eo an holl deoriennoù matematikel war un teskad termenadurioù objedoù matematikel hag aksiomoù hag a zetermin perzhioù elfennel an objedoù-mañ

mathématiques ◊ formulation antique d'axiomes dits de continuité

mathématiques ◊ axiome fondé sur l'axiome d'Archimède

mathématiques ◊ axiome de la théorie des ensembles qui affirme la possibilité de construire des ensembles en répétant une infinité de fois une action de choix, même non spécifiée explicitement

• énoncé de l’axiome du choix : pour tout ensemble X d'ensembles non vides, il existe une fonction définie sur X, appelée fonction de choix, qui à chaque ensemble A appartenant à X associe un élément de cet ensemble A
  enoñsad aksiom ar choaz : evit kement teskad X a deskadoù nann-goullo ez eus ur fonksion termenet war X, anvet fonksion choaz, hag a liamm kement teskad A en X gant un elfenn eus an teskad-mañ A