数学的直観主義 - 他の言語