数学的構造 - 他の言語