background

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

KREIZENN AR GERIAOUIÑ

aksiom g. -où   axiome
sciences ◊ dans une théorie, proposition évidente par elle-même et qui n’est susceptible d’aucune démonstration
en  axiom
  • diazezet eo an holl deoriennoù matematikel war un teskad termenadurioù objedoù matematikel hag aksiomoù hag a zetermin perzhioù elfennel an objedoù-mañ
    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
aksiom ar choaz g.   axiome du choix
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
en  axiom of choice
  • 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
    é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
aksiom Archimedes g.   axiome d'Archimède
mathématiques ◊ formulation antique d'axiomes dits de continuité
en  Archimedes' axiom
aksiom kendalc'huster g.   axiome de continuité
mathématiques ◊ axiome fondé sur l'axiome d'Archimède
en  continuity axiom