Neumann–Bernays–Gödel-halmazelmélet - További nyelvek