In tenpi pì recenti, Paul Ernest ga formułà esplicitamente na fiłoxofìa costrutivista sociałe de ła matematica.