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

logique ◊ poser explicitement une proposition qui ne fait pas l'objet d'une démonstration et demander qu'on l'admette