extensible
On dit qu'une fondation mathématique est extensible si il est possible d'ajouter et d'utiliser de nouvelles formes de déductions.
On dit qu'une fondation mathématique est extensible si il est possible d'ajouter et d'utiliser de nouvelles formes de déductions.