Répertorié comme une annexe secondaire à Vappereau‘ 4≠ 3. Clarifie et définit les fonctions et les applications bijectives à l'aide de Hilbert’avec ses quantificateurs logiques.
[Ajouté: 2025/08/23]
Répertorié comme une annexe secondaire à Vappereau‘ 4≠ 3. Clarifie et définit les fonctions et les applications bijectives à l'aide de Hilbert’avec ses quantificateurs logiques.
[Ajouté: 2025/08/23]