Extenzionalitási axióma - További nyelvek