数学実数:履歴、例、プロパティ、操作 - 数学 - 2025