Jólrendezett halmaz - További nyelvek