Conjuntos hereditariamente finitos - Outras línguas