axiome de transfert

ANALYSE

Un des 3 axiomes de l’analyse non standard :
Soit P une propriété interne portant sur l’objet mathématique x, P(x) est vraie pour tout x si et seulement si p(x) est vraie pour tout x standard.