Axiomatikus halmazelmélet - További nyelvek