ツォルンの補題 - 他の言語