直観主義 (数学の哲学) - 他の言語